Wojciech Penczek


I am Professor of Computer Science at the Institute of Computer Sciencse PAS and Professor at the University of Natural Sciences and Humanities.

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: