David Garlan | Applied formal methods, software architectures, and software development environments. |
William Scherlis | Program manipulation tools and information structures for collaboration. |
Mary Shaw | Design methods, analytic techniques, and notations for software architecture. |
Jeannette Wing | Applying formal methods to complex software systems. |
Shawn Butler | Robert O'Callahan |
Craig Damon | Siddhartha Puri |
Robert DeLine | Bridget Spitznagel | Jianing Hu | Zhenyu Wang |
Darrell Kindred | Hao-Chi Wong |
Robert Monroe |
John Ockerbloom | Postdoctoral Fellow |
Andrew Kompanek | Senior Research Programmer |
Brought to you by Composable Software Systems Research Group of the School of Computer Science at Carnegie Mellon University.
[Last modified 28-Sep-99.
Mail suggestions to the Maintainer.]