GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Jan Hoffmann
J
Jan Hoffmann
Associate Professor
Computer Science
,
Carnegie Mellon University
Research Interests
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Distributed Systems and Fault Tolerance
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants