Hi! I'm a second-year Ph.D. student in Software Engineering at Carnegie Mellon University. I am advised by Dr. Eunsuk Kang and Dr. Fraser Brown. In the spring of 2023, I received my Bachelor's degree in Aerospace Engineering from Iowa State University.
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.
2024 | Fall | Head Teaching Assistant for Formal Methods |
2023 | August | Began Software Engineering Ph.D. at Carnegie Mellon University with Dr. Kang and Dr. Brown. |
2023 | May | Attended the Twelfth Summer School on Formal Techniques. |