Eunsuk Kang
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Very excited to hear that one of my PhD students, Andy Hammer, won the prestigious NSF Graduate Research Fellowship. Andy has been cool work on developing formal methods for improving the resilience of software systems. Congratulations, Andy!! @cmus3d.bsky.social @scsatcmu.bsky.social
CMU S3D PhD student Andy Hammer just won the NSF Graduate Fellowship for work that keeps hospitals online during ransomware attacks & EV stations running when compromised.
This is "solve big" in action - software that doesn't fail when we need it most.
This is "solve big" in action - software that doesn't fail when we need it most.
July 14, 2025 at 4:55 PM
Very excited to hear that one of my PhD students, Andy Hammer, won the prestigious NSF Graduate Research Fellowship. Andy has been cool work on developing formal methods for improving the resilience of software systems. Congratulations, Andy!! @cmus3d.bsky.social @scsatcmu.bsky.social
Today at 17:00-17:15, Room 210 @icseconf.bsky.social, my student, Yining She, will be presenting our work on long-term fairness - identifying how an ML system that appears fair at deployment may gradually become less fair due to a feedback loop within the environment. Please drop by! #icse2025
April 30, 2025 at 11:38 AM
Today at 17:00-17:15, Room 210 @icseconf.bsky.social, my student, Yining She, will be presenting our work on long-term fairness - identifying how an ML system that appears fair at deployment may gradually become less fair due to a feedback loop within the environment. Please drop by! #icse2025
Today at 16:15–16:30 in Room 103 at #icse2025, my student Parv Kapoor will present constrained LTL learning, a new approach that gives the user more fine-grained control over learned LTL specs and significantly increases the range of applications for learning. Please drop by! @icseconf.bsky.social
April 30, 2025 at 11:35 AM
Today at 16:15–16:30 in Room 103 at #icse2025, my student Parv Kapoor will present constrained LTL learning, a new approach that gives the user more fine-grained control over learned LTL specs and significantly increases the range of applications for learning. Please drop by! @icseconf.bsky.social
Reposted by Eunsuk Kang
Upon learning that yesterday would be my last day as a program officer at the National Science Foundation, I shared this parting message with my colleagues. The next few months will be frenetic and stressful for them. Here are some things that you can do to help them with the mission ahead. (1)
February 19, 2025 at 7:08 PM
Upon learning that yesterday would be my last day as a program officer at the National Science Foundation, I shared this parting message with my colleagues. The next few months will be frenetic and stressful for them. Here are some things that you can do to help them with the mission ahead. (1)