David Garlan
Professor of Computer Science, Institute for Software Research
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