![Stephanie Balzer](https://2015.onward-conference.org/getProfileImage/stephaniebalzer/1472ebd5-bd2e-462b-bc12-381c39633ae2/small.jpg?1711475511000)
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/
Contributions
2015
SPLASH 2015-profile
View general profile
View general profile