http:^^www.cs.ualberta.ca^~piotr^

来自「This data set contains WWW-pages collect」· CA^~PIOTR^ 代码 · 共 64 行

Date: Mon, 25 Nov 1996 22:54:57 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 1631
Last-modified: Thu, 29 Aug 1996 20:38:24 GMT

<TITLE>   Piotr Rudnicki </TITLE>
<h1><!WA0><IMG ALIGN=MIDDLE SRC="http://www.cs.ualberta.ca/people/faculty/gifs/piotr.gif"></A>
Piotr Rudnicki </h1> 
<DL>
<DT> 
<B> Associate Professor
<DT>
<!WA1><A HREF="http://web.cs.ualberta.ca/labs/theory.html">
		Laboratory for Algorithmics Research </A>
<DT>
<!WA2><A HREF="http://web.cs.ualberta.ca/home.html">
			Department of Computing Science </A>
<DT>
<!WA3><A HREF="http://web.cs.ualberta.ca/UAlberta.html">
		University of Alberta </A>
</B>
<P>
<DT>
<B>E-mail:</B> <I>[e-mail]</I>
</DL>

<!WA4><IMG ALIGN=BOTTOM SRC="http://www.cs.ualberta.ca/Icons/Images/at_work.gif">

<!WA5><A HREF="http://www.cs.ualberta.ca/~piotr/pers_info.ps"><H2>Personal Information </H2></A>

<!WA6><A HREF="http://www.cs.ualberta.ca/~piotr/Mizar/index.html"><H2> <!WA7><IMG ALIGN=CENTER SRC="http://www.cs.ualberta.ca/~piotr/gif/mizar.gif"> The Mizar project </H2></A>

<!WA8><A HREF="http://www.cs.ualberta.ca/~piotr/Mizar-MSE/index.html"><H2>Mizar MSE</H2></A>

<H2> Research </H2>
<UL>
<LI>
The list of my publications during last six years and remarks on past work
are in my <!WA9><A HREF="http://www.cs.ualberta.ca/~piotr/pdf.ps"> Personal Data Form 100 </A>.
<LI>
Future <!WA10><A HREF="http://www.cs.ualberta.ca/~piotr/propro.ps"> plans </A>.
</UL>

<H2>Courses</H2>
<UL>
<LI>
<!WA11><A HREF="http://alix.cs.ualberta.ca/~c172"><b>CMPUT 172</b></A><p>
Introduction to Logic in Computing Science. <P>
In this course we routinly use the 
<!WA12><A HREF="http://www.cs.ualberta.ca/~piotr/Mizar-MSE/index.html">Mizar MSE</A>
proof checker and make some 250 students suffer through formal proofs
every year. <p>
<LI>
<!WA13><A HREF="http://ugweb.cs.ualberta.ca/~c201"><b>CMPUT 201</b></A>
<p>
Practical Programming Methodology
<p>
<LI>
<!WA14><A HREF="http://ugweb.cs.ualberta.ca/~c415/index.html"><b>CMPUT 415</b></A>
<p>
Compiler Design
</UL>