Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Piotr Rudnicki

Piotr Rudnicki

Professor
Laboratory for Algorithmics Research
Department of Computing Science
University of Alberta

Athabasca Hall 306, tel. (780) 492 2983, email: piotr@cs.ualberta.ca

CV ps pdf

Although I really enjoy teaching, this is what some students think about it.

Research

List of printed contributions for the years 1996-2002
A selection of my publications until 2002 and remarks on past work are in my Personal Data Form 100 (.ps). For recent work see under the Mizar project.
Future plans (.ps) as of October, 2002.

The Mizar project

Mizar MSE

ACM Programming Contest

Courses

CMPUT 272: Introduction to Logic in Computing Science.
CMPUT 201: Practical Programming Methodology
CMPUT 415: Compiler Design
CMPUT 499: Problem Solving Techniques
CMPUT 662: Introduction to Specification and Verification

TNP

I am a member of The Scientific Society of Plock (Towarzystwo Naukowe Plockie), in Plock, Poland. They have a library that offers some excitement to their members. The library owns a copy of the first printing of Copernicus' De revolutionibus orbium coelestium, Nuremberg 1543. If you pay your membership fees like I do they would let you touch it or open it at any place you want .