I am a Ph.D. student in Computer Science at the University of Virginia, where I am a graduate research assistant in the LESS Lab, advised by Professor Matthew B. Dwyer. The lab’s research spans verification and validation of machine-learned models, robotic systems, and software more broadly.

My own research broadly focuses on autoformalization, formal methods, testing, and verification of software-intensive systems. I am particularly interested in automatically translating natural-language requirements into formal specifications, such as temporal logic, and using those specifications to systematically test, verify, and analyze system behavior. I have applied these ideas in domains such as autonomous vehicles, while my broader goal is to develop general methods for making software testing and verification more formally grounded, systematic, rigorous, and scalable.

For additional information, please see my CV.

News

• July 2026: Attended the ACM International Conference on the Foundations of Software Engineering (FSE 2026).
• July 2026: First-authored paper, “STADA: Specification-based Testing for Autonomous Driving Agents,” was accepted to IROS 2026! [arXiv]
• August 2024: Received the Provost’s Fellowship from the University of Virginia.
• August 2024: Started my Ph.D. in Computer Science at the University of Virginia, joining the LESS Lab under Professor Matthew B. Dwyer.
• July 2024: Paper, “The Fault in our Stars: Quality Assessment of Code Generation Benchmarks,” was accepted to SCAM 2024! [IEEE Xplore]