SPLASH 2023 (series) / Stephanie Balzer
![Stephanie Balzer](https://2023.splashcon.org/getProfileImage/stephaniebalzer/c60ad819-add5-4e6f-bdbe-36dbe7772377/small.jpg?1711470200000)
Registered user since Thu 5 Jun 2014
Name:Stephanie Balzer
Country:United States
Affiliation:Carnegie Mellon University
Personal website: http://www.cs.cmu.edu/~balzers/
Research interests:Programming languages, type theory, program verification, logic, security
Contributions
SPLASH 2023-profile
View general profile
View general profile