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…") |
|||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
=Project Leaders= | =Project Leaders= | ||
| − | Clark Barrett, | + | Clark Barrett, Stanford University<br/> |
| − | Cesare Tinelli, University of Iowa | + | Cesare Tinelli, The University of Iowa |
=Development Team= | =Development Team= | ||
| − | Kshitij Bansal, New York University | + | Kshitij Bansal, New York University<br/> |
| − | François Bobot, University | + | François Bobot, Paris-Sud University<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/> |
| − | + | Dejan Jovanović, New York University<br/> | |
| − | + | Tim King, New York University<br/> | |
| − | Andrew Reynolds, University of Iowa | + | Andrew Reynolds, The University of Iowa |
Latest revision as of 11:15, 8 February 2017
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
