People

Project Leaders

Clark Barrett, Stanford University
Cesare Tinelli, The University of Iowa

Development Team

Kshitij Bansal, New York University
François Bobot, Paris-Sud University
Christopher Conway, New York University
Morgan Deters, New York University
Liana Hadarean, New York University
Dejan Jovanović, New York University
Tim King, New York University
Andrew Reynolds, The University of Iowa