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, type theory, program verification, logic, security
Contributions
| PLMW 2021 | Session Chair of Tuesday Panel (part of PLMW 2021) Co-chair in Organizing Committee within the PLMW 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile