8 Biography

Robert Allen recently completed his Ph.D. in Computer Science at Carnegie Mellon University. He has authored numerous papers on software architecture, and was the primary designer for the Wright Architectural Description Language. He is currently employed by IBM Microelectronics Division as a Software Engineer.

Rèmi Douence is an Inria post-doc student with David Garlan at Carnegie Mellon University. He was formerly involved in functional languages: his Ph.D. thesis (october 1997, Irisa Rennes, France) formally describes and compares the functional languages compilation techniques. He now focuses on applying formal methods to applied domains. He is mainly interested in declarative and high-level programming languages (semantics, implementation, analysis...), specifications, prototyping, debugging and teaching.

David Garlan is an Associate Professor in the Department of Computer Science at Carnegie Mellon University, where he heads the ABLE Project. Dr. Garlan's research interests include software architecture, formal methods, and software development environments. He recently co-authored (with Mary Shaw) the book ``Software Architecture: Perspectives on an Emerging Discipline."