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.
- Artur Męski, Wojciech Penczek, Grzegorz Rozenberg: Model Checking Temporal Properties of Reaction Systems. ICS PAS Reports, April 2014. pdf (keywords: reaction systems, model checking, verification, temportal logics, transition systems)