People

From CVC4
Revision as of 14:41, 17 September 2012 by Mdeters (Talk | contribs) (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…")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 <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

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