Project Members

Composable Software Systems


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.

Graduate Students

Shawn Butler Robert O'Callahan
Craig Damon Siddhartha Puri
Robert DeLine Bridget Spitznagel
Jianing Hu Zhenyu Wang
Darrell Kindred Hao-Chi Wong
Robert Monroe

  • Congrats and Farewell to Rob DeLine and Bob Monroe!

    Visitors and Postdocs

    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