David Garlan
Professor of Computer Science, Computer Science Department, Software and Societal Systems Department
Associate Dean for Master’s Programs, Griffin School of Computer Science
David Garlan is a professor of computer science in the Griffin School of Computer Science at Carnegie Mellon University. He received his Ph.D. from Carnegie Mellon in 1987 and worked as a software architect in industry between 1987 and 1990. His interests include software architecture, self-adaptive systems, formal methods, and cyber-physical systems. He is considered to be one of the founders of the field of software architecture, and, in particular, formal representation and analysis of architectural designs. He is a co-author of two books on software architecture: Software Architecture: Perspectives on an Emerging Discipline, and Documenting Software Architecture: Views and Beyond. In 2005, Garlan received a Stevens Award Citation for “fundamental contributions to the development and understanding of software architecture as a discipline in software engineering.” In 2011 he received the Outstanding Research award from ACM SIGSOFT for “significant and lasting software engineering research contributions through the development and promotion of software architecture.” He is a Fellow of the IEEE and ACM.
Education
1987 Ph.D., Computer Science, Carnegie Mellon University
1973 B.A., M.A. (Oxon) Honours in Mathematics, University of Oxford
1971 B.A. in Mathematics, Amherst College
Affiliations
Research Interests
- AI and ML for security
- Applications of security and privacy
- autonomous cyber security
- cyber physical systems security and privacy
- cyberphysical systems (CPS)
- Formal methods
- formal methods for security
- Internet of Things (IoT)
- intrusion and anomaly detection and prevention
- IoT security and privacy
- ML and AI
- mobile and app security and privacy
- network security
- security education, awareness, and training
- security of AI and ML
- software security
- systems security
- Usability and human behavior
- verification
Media mentions
CyLab Security and Privacy Institute
Third round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its third round of funded proposals.
CyLab Security and Privacy Institute
CyLab awards 2023 seed funding
This year, CyLab has awarded $450K in seed funding to 20 faculty, staff, and students in five departments across three colleges at CMU.
CyLab Security and Privacy Institute
Third round of Secure and Private IoT Initiative funded projects announced
Carnegie Mellon CyLab’s Secure and Private IoT Initiative (IoT@CyLab) has announced its third round of funding, which will support 12 Internet of Things (IoT)-related projects for one year.