Prof. Stephanie Balzer — Research Profile

Carnegie Mellon University · Computer Science Department

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Jul 22, 2026

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

Prof. Stephanie Balzer at Carnegie Mellon University Computer Science Department lists Programming Languages, Security, Type Theory, Software Verification as their registered research area.

Research keywords

Programming LanguagesSecurityType TheorySoftware Verification

Faculty / research website

Other labs in this department

Aayush Jain 교수 연구실
Theory, Cryptography
Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining

See all labs in this department