Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Stephanie Balzer

Registered user since Thu 5 Jun 2014

Name:Stephanie Balzer

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.

Affiliation:Carnegie Mellon University


SPLASH 2014 Chair in Program Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
Committee Member in Program Committee within the Workshops-track
Show activities from other conferences

SPLASH 2014-profile
View general profile