|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|
|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.]