David Garlan PhD, Carnegie Mellon University David Garlan is the Director of the Masters 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. Dr. Garlan's research interests include the application of formal methods to the construction of reusable software architectures, programming environments, tool integration, and interactive maps.

© 2003 Carnegie Mellon Webmaster Home   General Information   Admission   Plans Of Study   Curriculum   People   Facilities   Contacts   Login