David Garlan
Associate Dean for Masters Programs, Institute for Software Research
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
Personal Website:
Research Interests:
Software Engineering
Software Systems and Architecture
Cyber-Physical Systems
Formal Methods/Verification