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

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

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)

I love this channel!

It's surreal to see what's unfolding in Korea right now. Yoon will almost surely get impeached for what he's done.