I am Professor of Computer Science,
Director of the
Institute of Computer Science PAS,
Chairman of the
Committee on Informatics of the Polish Academy of Sciences, and
Corresponding Member of the
Polish Academy of Sciences.
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 2021