Difference between revisions of "People"
From CVC4
m (→Project Leaders) |
m (→Development Team) |
||
| Line 13: | Line 13: | ||
Dejan Jovanović, New York University<br/> | Dejan Jovanović, New York University<br/> | ||
Tim King, New York University<br/> | Tim King, New York University<br/> | ||
| − | Andrew Reynolds, University of Iowa | + | Andrew Reynolds, The University of Iowa |
Revision as of 17:10, 9 November 2012
Project Leaders
Clark Barrett, New York 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
