  My committee consists of <a href="http://www.cs.cornell.edu/Info/Faculty/rc/rc.html">Robert Constable</a>, <a href="http://www.cs.cornell.edu/Info/People/jgm/home.html">Greg Morrisett</a>, and <a href="http://www.cs.cornell.edu/Info/People/kozen/kozen.html">Dexter Kozen</a>. I also work closely with <a href="http://www.cs.cornell.edu/Info/People/jyh/jyh.html">Jason Hickey</a>. <p>
