Wyoming

Building Interactive Digital Libraries of Formal Algorithmic Knowledge
--------------------
 
University of Wyoming
Faculty
James Caldwell John Cowles
Students
Vitali Khaikine Christoph Jechlitschek

Cornell University
Faculty
Robert Constable
Researchers
Stuart Allen Rich Eaton Christoph Kreitz Lori Lorigo
Students
Eli Barzilay

California Institute of Technology
Faculty
Jason Hickey