Stephanie Balzer
Office 7125 Gates and Hillman Centers
Email balzers@cs.cmu.edu
Department
Computer Science Department
Administrative Support Person
Rosemary Battenfelder
Research Interests
Programming Languages
Pure and Applied Logic
Security
Security and Privacy
Software Verification
Type Theory
Advisees
Yue Yao
Tesla Zhang
Biography
Stephanie Balzer is an Assistant Research Professor in the Principles of Programming group in the Computer Science Department of Carnegie Mellon University. She obtained her PhD from ETH Zurich.
Research/Teaching Statement
The goal of Stephanie Balzer's research is to enable the construction of failure-free software, software that is correct by construction and secure to run.