People

Project Leaders

Clark Barrett, New York University
Cesare Tinelli, University of Iowa

Development Team

Chris Conway, New York University
Morgan Deters, New York University
Alexander Fuchs, University of Iowa
Yeting Ge, New York Univeristy
George Hagen, University of Iowa
Mina Jeong, New York University
Dejan Jovanović, New York University
Tim King, New York University

Click here for a list of past contributors