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: 7225 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.


Conference papers

Workshop papers


Technical reports

Professional activities

Awards and honors

Student supervision and teaching

While I was at ETH, I was fortunate to be co-supervising a number of bachelor and master students. Also, I have been a TA for various courses. Please refer to my previous web site for further details.