This page is set up by a few friends of Piotr Rudnicki in memory of him.

Piotr passed away on Sat Nov 17, 2012.

He joined the Department of Computing Science at University of Alberta in 1984. His research was mainly focused on the Mizar project, which was a long-term effort with the aim of automating proof verification.
Aside from his normal teaching and research activities, he was heavily involved in training undergraduate and graduate students for programming contests and he enjoyed this. Many of the UofA teams he coached for ICPC-ACM programming contest advanced to the world finals over the years (as far back as 1998). More recently he had devoted a lot of time training high school students for similar competitions. He was very passionate about these activities, and the programming club in our department was nurtured mostly through his efforts over the years.

Piotr was a computer scientist, a mathematician, a colleague, and more importantly a good friend. We all miss him and will remember him.


Lorna Stewart and Mohammad Salavatipour

(We leave the comments open as a guest book)