Stephanie Balzer

Stephanie Balzer
Mailing address:
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

Contact details:
Office: 7125 Gates-Hillman Center
Assistant: Rosemary Battenfelder

I am an Assistant Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University.

The goal of my research is to enable the construction of failure-free software, software that is correct by construction and secure to run. In pursuit of this goal, I am deploying rigorous reasoning methods, such as type systems and verification logics, which allow statement of the desired properties and a formal proof of their adherence. To ensure scalability, I use compositional methods, guaranteeing that individually verified parts compose to a verifiable whole. To ensure practicality, I consider verification needs arising from real-world problems. Tangible results of my research include not only formal models with correctness proofs but also software artifacts.

I received my PhD from ETH Zurich. My advisor was Thomas R. Gross.

Selected publications

For a complete listing, click here or check out my dblp entry.

Selected talks

Recent and current service

For a complete listing, click here.

Current Students and Postdoctoral Fellows

For a complete listing, click here.





Research Funding