About Me
Teofil Sidoruk's Home Page
I am currently an assistant at the Institute of Computer Science of the Polish Academy of Sciences and a PhD student at the Faculty of Mathematics and Information Science of the Warsaw University of Technology.
My areas of interest include model checking of temporal logics, methods of state space reduction, and verification of strategic abilities in multi-agent systems.
The supervisor of my PhD dissertation is Prof. Wojciech Penczek.