I am Professor of Computer Science and Director of the Institute of Computer Science PAS and
Professor of Computer Science 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, planning, composition of web services, and model checking of concurrent systems.
Teaching (In Polish)
Last modified: August 2019