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: X@ipipan.waw.pl, 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.

Publications

Technical reports

Links