ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
Stephanie Balzer

Registered user since Thu 5 Jun 2014

Name: Stephanie Balzer

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

Affiliation: Carnegie Mellon University

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

ECOOP 2015 Activities

ECOOP 2015-profile
View general profile