Artur Męski

Research Assistant @ Institute of Computer Science, Polish Academy of Sciences
Department of Theoretical Foundations of Computer Science, Theory of Distributed Systems

E-mail:, where X=meski

I am preparing a PhD thesis under the supervision of prof. Wojciech Penczek.

My main research interests include: formal and automated verification, temporal logics, reaction systems, multi-agent systems, model checking of concurrent systems, timed systems.


Technical reports