<a href=http://www.cornell.edu><img src=http://www.cs.cornell.edu/Info/People/pavel/Cornell.gif></a> I am a Ph.D. student at the <A HREF="http://www.cs.cornell.edu"> Departmant of Computer Science</A> of <A HREF="http://www.cornell.edu"> Cornell University.</A>  I work with Professor  <A HREF="http://www.cs.cornell.edu/Info/Faculty/Robert_Constable.html"> Robert L. Constable</A>. In Fall 1994 I maintained Web page of course in <A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-94/CS611/"> Advanced Programming Languages</A> (CS611). This semester I start my work for  <A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html"> Nuprl project.</A></P>
