About me

Professional Activities

16 January 2014 - Habilitation in Technical Sciences (Computer Science) from the Institute of Computer Science of the Polish Academy of Sciences, Warsaw, Poland. Topic: Modelling and model checking of multi-agent and real-time systems.
24 June 2003 - Ph.D. (summa cum laude) in Mathematical Sciences (Computer Science) from the Institute of Computer Science of the Polish Academy of Sciences Warsaw, Poland. Dissertation: Bounded Model Checking for Branching Time Logics. A fast method of falsification.
- supervisor: doc. dr hab. Wojciech Penczek
- reviewers: prof. dr hab. Tomasz Szmuc and doc. dr hab. Marian Srebrny
17 April 1997 - Master of science in mathematics and computer science from the University of Opole, Opole, Poland. Thesis: The plotter service in C/C++ languages.
- supervisor: dr hab. Wiesław Szwast
- reviewer: dr Tomasz Weber