Wojciech Penczek

I am Professor of Computer Science at the IPI PAN and Professor at the University of Podlasie.

My main research interests are models of distributed systems, multi-agent systems, modelling of knowledge and belief, temporal logics for concurrent systems, automated verification, and model checking of concurrent systems.

Information about my:

Affiliations and addresses: penczek@ipipan.waw.pl
Publications: record in DBLP , available on line , 2004 , 2003 , 2002 , 2001 , 2000 , 1992-1999.
Recent talks (slides): all , 2004 , 2003 , 2002 , 2001 , 2000 , 1990-1999. (not yet available)
Model Checker Verics: http://pegaz.ipipan.waw.pl/verics.

Projects:

Current: Matematyczne metody modelowania i analizy systemów współbieżnych (N N206 258035)
Past: Automated verification of time dependent systems - (in Polish: Automatyczna weryfikacja systemow zaleznych od czasu )
Past: Automated symbolic verification of programs and cryptographic protocols in distributed systems - (in Polish: Automatyczna symboliczna weryfikacja programów i protokołów kryptograficznych w systemach rozproszonych)

Recently organized conferences: Petri Nets'07, Siedlce, 2007

Teaching (In Polish)

Materialy dla studentów

Propozycje tematów prac licencjackich i magisterskich (wkrótce nowe)

Last modified: September 2007