People

From CVC4
Revision as of 13:42, 17 September 2012 by Mdeters (Talk | contribs)

Jump to: navigation, search

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

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=People&oldid=3432"