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

Registered user since Thu 5 Jun 2014

Name: Stephanie Balzer

Bio: 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

Personal website: http://www.cs.cmu.edu/~balzers/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile