Skip to main content

David Garlan

Professor, School of Computer Science


David Garlan

Cross Cutting Thrusts

Software Security


David Garlan is a Professor in the School of Computer Science at Carnegie Mellon University, where he leads several research projects. 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 he 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. Dr. Garlan is a member of Computer Science Department and the Institute for Software Research International in the School of Computer Science.

Research Projects

Probabilistic Verification of Security Properties in Self-Adaptive Systems

Cross Cutting Thrusts: Software Security
Researcher: David Garlan

Engineering Self-Healing Systems to Support Trustworthy Computing

Researcher: David Garlan


"Documenting Software Architectures: Views and Beyond, Second Edition". P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, P. Merson, R. Nord, and J. Stafford. Addison Wesley, September 2011.

"SORASCS: A Case Study in SOA-based Platform Design for Socio-Cultural Analysis". Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael Bigrigg and Kathleen M. Carley. In Proceedings of the 33rd International Conference on Software Engineering, Hawaii, USA, 2011. To Appear.

"SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis". David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama and Nina Patel. 2011. Submitted for publication.

"Using Parameters in Architectural Views to Support Heterongeneous Design and Verification". Akshay Rajhans, Ajikya Bhave, Sarah Loos, Bruce Krogh, Andre Platzer and David Garlan. 2011. Submitted for publication.

"View Consistency in Architectures for Cyber-Physical Systems". Ajikya Bhave, Bruce Krogh, David Garlan and Bradley Schmerl. In Proceedings of the 2nd ACM/IEEE International Conference on Cyber-Physical Systems, April 2011.