David Garlan

Professor, Institute for Software Research
Professor, Computer Science Department
Office: 
4218
Wean Hall
Email: 
garlan@cs.cmu.edu
Phone: 
(412) 268-5056
Fax: 
412-268-3455
Research Interests: 
Software Engineering
Software Systems and Architecture
Cyber-Physical Systems
Formal Methods/Verification