Difference between revisions of "People"
From CVC4
(Created page with "=Project Leaders= Clark Barrett, New York University Cesare Tinelli, University of Iowa =Development Team= Kshitij Bansal, New York University François Bobot, University of I…") |
|||
| Line 1: | Line 1: | ||
=Project Leaders= | =Project Leaders= | ||
| − | Clark Barrett, New York University | + | Clark Barrett, New York University<br/> |
Cesare Tinelli, University of Iowa | Cesare Tinelli, University of Iowa | ||
Revision as of 14:41, 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 <cconway@cs.nyu.edu>, New York University Morgan Deters <mdeters@cs.nyu.edu>, New York University Liana Hadarean <lianah@cs.nyu.edu>, New York University Tim King <taking@cs.nyu.edu>, New York University Dejan Jovanović, New York University Andrew Reynolds, University of Iowa
