David Garlan
Associate Dean for Masters Programs
Professor
Professor
Institute for Software Research
Institute for Software Research
Computer Science Department
SCS - ISR-Garlangroup
Office:
4218
Wean Hall
Email:
garlan@cs.cmu.edu
Phone:
(412) 268-5056
Fax:
412-268-3455
Personal Website:
Research Interests:
Software Engineering
Software Systems and Architecture
Cyber-Physical Systems
Formal Methods/Verification