Advisor: David Garlan
Project: Architecture Based Languages and Environments
Research Interests: software architecture, software design, formal methods, specification, software development environments, software engineering, abstraction.
Publications: I am co-author of many papers by the ABLE group. A list is here.
Thesis: A Formal Approach to Software Architecture. I did it!