http://cvc4.stanford.edu/w/api.php?action=feedcontributions&feedformat=atom&user=Donovick 2026-04-05T21:21:29Z User contributions MediaWiki 1.26.4 http://cvc4.stanford.edu/w/index.php?title=People&diff=5518 2017-02-08T18:15:02Z

<p>Donovick: </p> <hr /> <div>=Project Leaders=<br /> <br /> Clark Barrett, Stanford University&lt;br/&gt;<br /> Cesare Tinelli, The University of Iowa<br /> <br /> =Development Team=<br /> <br /> Kshitij Bansal, New York University&lt;br/&gt;<br /> François Bobot, Paris-Sud University&lt;br/&gt;<br /> Christopher Conway, New York University&lt;br/&gt;<br /> Morgan Deters, New York University&lt;br/&gt;<br /> Liana Hadarean, New York University&lt;br/&gt;<br /> Dejan Jovanović, New York University&lt;br/&gt;<br /> Tim King, New York University&lt;br/&gt;<br /> Andrew Reynolds, The University of Iowa</div>

Donovick