Shaan Nagy

Computer Science PhD Student
University of Wisconsin-Madison

Email: sanagy AT wisc DOT edu | GitHub


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
Rice University