Stephanie Balzer Assistant Professor Website Office 7125 Gates and Hillman Centers Email balzers@cs.cmu.edu Department Computer Science Department Administrative Support Person Rosemary Battenfelder Research Interests Programming Languages Pure and Applied Logic Security Security and Privacy Software Verification Type Theory Advisees Yue Yao Tesla Zhang CSD Courses Taught 15652 - Spring, 2024 15312 - Spring, 2024 Biography Stephanie Balzer is an Assistant Professor in the Principles of Programming group in the Computer Science Department of Carnegie Mellon University. She obtained her PhD from ETH Zurich. Research/Teaching Statement The goal of Stephanie Balzer's research is to enable the construction of failure-free software, software that is correct by construction and secure to run.
