Stephanie Balzer

Stephanie Balzer is an Assistant Professor in the Computer Science Department at Carnegie Mellon University. Her research focuses on Programming Languages and Security, with an emphasis on Pure and Applied Logic, Security and Privacy, Software Verification, and Type Theory. Her work aims to enable the construction of failure-free software through rigorous reasoning methods, such as type systems and verification logics, while ensuring scalability and practicality. She is committed to developing verification tools and systems that can be used by educated practitioners to encourage the adoption of formal methods in practice.

Stephanie Balzer is a researcher at Carnegie Mellon University, focusing on programming languages and formal methods. Her work explores session types, deadlock freedom, and information flow control in concurrent and distributed systems. She has contributed to the development of type systems for object-oriented languages, emphasizing the use of session types to ensure correctness and safety in communication protocols. Balzer's research also includes the verification of multi-object invariants and the application of logical relations to session-typed concurrency. Her publications often address the integration of contracts and relationships in programming languages, aiming to enhance reliability and security in software systems.