Stephanie Balzer 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.
Office
7125 Gates and Hillman Center
Email
balzers@cs.cmu.edu