 <IMG SRC="http://www.cs.cornell.edu/Info/Courses/Spring-96/CS212/Staff/Image/kozen.gif" ALIGN=absmiddle> <A HREF="http://www.cs.cornell.edu/Info/People/kozen/kozen.html">Dexter  Kozen</A>, Professor.  5143 Upson, 255-9209. <A HREF="mailto:kozen@cs.cornell.edu"><TT>kozen@cs.cornell.edu</TT></A>.  <LI>
