Stephanie Balzer

Stephanie Balzer
Mailing address:
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Contact details:
Office: 7125 Gates-Hillman Center
Phone: +1-412-268-7823
Email: balzers at

I am a postdoc with Prof. Frank Pfenning in the Computer Science Department at Carnegie Mellon University. I am interested in programming languages, program verification, type theory, and logic. Previously, I was a postdoc with Prof. Jonathan Aldrich in the Institute for Software Research at Carnegie Mellon University. I obtained my PhD from the Department of Computer Science at ETH Zurich, under the supervision of Prof. Thomas R. Gross.


Professional activities

Awards and honors

Student supervision