About Me
Teofil Sidoruk's Home Page
I am currently a research assistant at the Institute of Computer Science of the Polish Academy of Sciences (IPI PAN).
In 2024, I received PhD with distinction at the Faculty of Mathematics and Information Science of the Warsaw University of Technology.
The thesis Model Reductions for Multi-agent Systems was supervised by Prof. Wojciech Penczek.
My areas of interest include model checking of temporal logics, in particular the verification of strategic abilities in multi-agent systems (including timed and probabilistic variants), and the methods of state space reduction applicable in this context.
