Registered user since Thu 5 Jun 2014
Name: Stephanie Balzer
Country: United States
Affiliation: Carnegie Mellon University, USA
Personal website: http://www.cs.cmu.edu/~balzers/
Research interests: Programming languages, program verification, type theory, and logic
Contributions
| HOPE 2018 | Committee Member in Program Committee within the HOPE 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile