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…") |
(No difference)
|
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