Scholar
Stephanie Balzer
Google Scholar ID: xZXNqqYAAAAJ
Carnegie Mellon University
Citations & Impact
Citations
462
H-index
11
i10-index
11
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Received an NSF CAREER Award; multiple papers published in top conferences like POPL and ECOOP; supervised student Yue Yao's paper accepted at POPL; co-supervised student Jules Jacobs successfully defended his thesis with Cum Laude distinction.
Research Experience
- Assistant Professor in the Principles of Programming Group, Computer Science Department at Carnegie Mellon University.
Education
- PhD from ETH Zurich, advisor: Thomas R. Gross
Background
- Research interests: enabling the construction of failure-free software, using rigorous reasoning methods such as type systems and verification logics to ensure correctness and security. Ensuring scalability and practicality by addressing real-world problems.
Miscellany
- Contact details: Office 9004 Gates-Hillman Center, Email: balzers@cs.cmu.edu
Co-authors