http://www.cs.wustl.edu/cs/groups/dcg.html
Department of Computer Science
Washington University in St. Louis
Distributed algorithms, fault tolerance, formal design methods, software development tools and environments, visualization systems and techniques.