SPLASH 2023 (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, type theory, program verification, logic, security
Contributions
SPLASH 2023 | PC Member in OOPSLA Review Committee within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile