GradNova

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