I am a second-year Computer Science PhD student working under Loris D'Antoni. My recent work has focused on semantics and verification over infinite sets of programs.

I received my BSCS in Computer Science and BS in Math from Rice University in May 2022. While there, I worked with Moshe Vardi on computing partition functions of Ising models.

Awards

UW-Madison

• NSF Graduate Research Fellowship Awardee -- National Science Foundation 2024
• First Year Summer Research Assistantship Award -- UW-Madison 2023

Rice University

• Summa cum Laude (CS)/Magna cum Laude (Math) -- Rice University 2022
• Phi Beta Kappa -- Rice University 2022
• Louis J. Walsh Engineering Scholarship -- Rice University 2020

Publications

Preprints

• Nagy, S., Kim, J., D’Antoni, L., & Reps, T. (2024, January 24). Automating unrealizability logic: Hoare-style proof synthesis for infinite sets of programs. arXiv.org. https://arxiv.org/abs/2401.13244v1
• Nagy, S., Paredes, R., Dudek, J. M., Dueñas-Osorio, L., & Vardi, M. Y. (2022, December 24). Ising model partition function computation as a weighted counting problem. arXiv.org. https://arxiv.org/abs/2212.12812

Lectures

• Nagy, S. Program Verification (Guest Lecture) CS 538: Introduction to Programming Languages, UW-Madison, April 22, 2024
• Nagy, S. LR Parsing (Substitute Lecture) CS 536: Introduction to Programming Languages and Compilers, UW-Madison, March 9, 2023