GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Jonathan E Aldrich
J
Jonathan E Aldrich
Professor
Computer Science
,
Carnegie Mellon University
Research Interests
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
Academic Metrics
Links
Grants