
 I am a graduate student at <a
 href="http://www.cornell.edu/">Cornell</a> in the <a
 href="http://www.cs.cornell.edu/">Computer Science Department</a>,
 under the supervision of <a
 href="http://www.cs.cornell.edu/Info/Faculty/rc/rc.html">Robert
 Constable</a>.
 Here's a summary of my current status:
 </p>
