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 an Assistant Research Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. I am interested in developing type systems and verification logics for proving correctness and safety of concurrent programs.

Publications

Talks

Service

Supervision

Current Students and Postdocs

Thesis Committee Member

M.S. and Research Projects

Collaborators

Teaching

Research Funding