David Garlan is the Director of the Master of Software Engineering Professional Programs and a professor of computer science in the School of Computer Science at Carnegie Mellon, where he currently heads the ABLE Project. This project focuses on the development of languages and environments to support the construction of software system architectures. The primary emphasis of this effort is on developing a scientific, formal basis for describing, analyzing, and using software architectures.
Before joining the CMU faculty, Garlan was a senior computer scientist in the Research Laboratory of Tektronix, Inc. In this capacity, he developed formal, industrial strength models of embedded instrumentation software. This work investigated the use of formal specification as an aid to developing reusable abstractions for domain-specific families of software systems. The result of this work was a demonstration that formal methods can be successfully applied in an industrial setting to discover and document software design frameworks.