David Garlan
Professor of Computer Science, Software and Societal Systems Department, Computer Science Department
Associate Dean for Master’s Programs, School of Computer Science
David Garlan is a professor of Computer Science in the 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
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.