| Jan 20, 2026 | Eunsuk Kang was named as a recipient of the ACM SIGSOFT Early Career Research Award! |
|---|---|
| Dec 1, 2025 | Andy Hammer was showcased in the Carnegie Mellon University Graduate Student Spotlight. |
| Sep 1, 2025 | Yining She’s work on “FairSense: Long-Term Fairness Analysis of ML-Enabled Systems” was accepted to the 47th Internation Conference on Software Engineering! |
| Aug 12, 2025 | Andy Hammer’s work on “Resilience of Systems under Maximum Component Deviations” was accepted to Software Engineering and Formal Methods 2025! |
| Aug 1, 2025 | Leo Liang’s work, “Towards Better Formal Methods Visualizations” was accepted at the PLATEAU 2025 Workshop! |
| Jun 13, 2025 | Andy Hammer was awarded the NSF Graduate Research Fellowship (GRFP)! |
| Feb 19, 2024 | Parv’s paper on STL decomposition for planning was accepted to Nasa Formal Methods 2024! |
| Jan 15, 2024 | With Tobias Dürschmid, Eunsuk is teaching a new course in Spring 2024: 17-423/723 Designing Large-scale Software Systems. |
| Jan 15, 2024 | Simon’s paper on Runtime Weakening was accepted to SEAMS 2024! |