Difference between revisions of "People"
From CVC4
| Line 6: | Line 6: | ||
=Development Team= | =Development Team= | ||
| − | Kshitij Bansal, New York University | + | Kshitij Bansal, New York University<br/> |
| − | François Bobot, University of Iowa | + | François Bobot, University of Iowa<br/> |
| − | Christopher Conway | + | Christopher Conway, New York University<br/> |
| − | Morgan Deters | + | Morgan Deters, New York University<br/> |
| − | Liana Hadarean | + | Liana Hadarean, New York University<br/> |
| − | Tim King | + | Tim King, New York University<br/> |
| − | Dejan Jovanović, New York University | + | Dejan Jovanović, New York University<br/> |
Andrew Reynolds, University of Iowa | Andrew Reynolds, University of Iowa | ||
Revision as of 13:42, 17 September 2012
Project Leaders
Clark Barrett, New York University
Cesare Tinelli, University of Iowa
Development Team
Kshitij Bansal, New York University
François Bobot, University of Iowa
Christopher Conway, New York University
Morgan Deters, New York University
Liana Hadarean, New York University
Tim King, New York University
Dejan Jovanović, New York University
Andrew Reynolds, University of Iowa
