Abigail "Andy" Hammer
- Ph.D. Student in Software Engineering
- Software and Design Analysis Lab
- Software and Societal Systems
- School Of Computer Science
- Carnegie Mellon University
Contact Me
About Me
Hi! I'm a third-year Ph.D. student in Software Engineering at Carnegie Mellon University. I am advised by Dr. Eunsuk Kang. In the spring of 2023, I received my Bachelor's degree in Aerospace Engineering from Iowa State University.
Research Interests
I am interested in the application of formal methods to software systems. Particularly, I am interested in the application of formal modelling and verification to cyber-physical systems and security systems.
News
| 2025 | September | Paper on "Resilience of Systems under Maximum Component Deviations" was accepted to SEFM 2025 |
| 2025 | June | Awarded the NSF's Graduate Research Fellowship. |
| 2024 | Fall | Head Teaching Assistant for Formal Methods |
| 2023 | August | Began Software Engineering Ph.D. at Carnegie Mellon University with Dr. Kang. |
| 2023 | May | Attended the Twelfth Summer School on Formal Techniques. |