Stephanie Balzer

Stephanie Balzer
Mailing address:
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Contact details:
Office: 7125 Gates-Hillman Center
Phone: +1-412-268-7823
Email: balzers@cs.cmu.edu
Assistant: Rosemary Battenfelder

I am a systems scientist (research faculty) in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. I am interested in programming languages, type theory, and program verification, and am currently working on session-typed concurrent programming and its application to real-world concurrent programs that demand sharing.

Publications

Professional activities

Awards and honors

Grants

Student supervision

Teaching