ETAPS 2019 (series) / Stephanie Balzer
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, program verification, type theory, and logic
Contributions
2019
ESOP
ETAPS
ETAPS 2019-profile
View general profile
View general profile