Stephanie Balzer

Stephanie Balzer
Mailing address:
Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Contact details:
Office: 5319 Wean Hall
Phone: +1-412-268-1365
Email: balzers at

I am a postdoctoral associate with Prof. Jonathan Aldrich in the School of Computer Science at Carnegie Mellon University. I am interested in the development of programming languages and tools that facilitate the development of programs that are easier to write, reason about, and, ultimately, verify.

Before joining the group of Prof. Aldrich, I did a PhD with Prof. Thomas R. Gross in the Department of Computer Science at ETH Zurich. During my PhD, I developed the programming language Rumer, an object-based programming language with support for first-class relationships and Design-by-Contract-style assertions. In addition, I elaborated an invariant-based verification technique for Rumer.


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.