| Aug 12, 2025 | Andy Hammer’s work on “Resilience of Systems under Maximum Component Deviations” was accepted to Software Engineering and Formal Methods 2025! |
|---|---|
| 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! |