GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Stephanie Ginette Balzer
S
Stephanie Ginette Balzer
Assistant Professor
Computer Science
,
Carnegie Mellon University
Research Interests
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Academic Metrics
Links
Grants