About me

Professional Activities

13.07.2015 - 12.07.2017 - Coordinator of the National Science Center project (NCN Nr 2014/15/N/ST6/05079): Selected SMT-based model checking methods. Pre-doctoral grant PRELUDIUM. Principal Investigator: mgr Agnieszka Zbrzezny.
8.12.2011 - 7.12.2014 - Principal Investigator of the National Science Center project (UMO-2011/01/B/ST6/05317): Development and implementation of model checking methods for real-time and multi-agent systems. General grant OPUS.
1.07.2006 - 30.12.2008 - Research fellow of the research project No. 3T11C 01128 of the State Committee for Scientific Research: Automated symbolic verification of programs and cryptographic protocols in distributed systems .
- Coordinator - prof. dr hab. Piotr Dembiński
- The project leader - doc. dr hab. Wojciech Penczek
1.04.2003 - 30.03.2004 - The project leader of the phd thesis project (devoted to preparing Phd thesis) No. 4 T11 C 01 724 of the State Committee for Scientific Research "Study and implementation of the bounded model checking method as an approach to the state explosion problem."
- Coordinator - doc. dr hab. Wojciech Penczek
1.07.2000 - 30.06.2003 - Research fellow of the research project No. 8T11C 01419 of the State Committee for Scientific Research Automated verification of time dependent systems.
- Coordinator - prof. dr hab. Piotr Dembiński
- The project leader - doc. dr hab. Wojciech Penczek

Thesis: Selected model checking methods using SAT and SMT testers. Author: Agnieszka Zbrzezny. Reviewers: prof. dr hab. inż. Jan Magott and prof. dr hab. Marcin Szpyrka. Phd thesis: 16/11/2017.

Thesis: Metody generowania etykietowanych systemów przejść dla języka Alvis. Author: mgr inż. Michał Wypych. Supervisor: prof. dr hab. Marcin Szpyrka. PhD thesis: 10/02/2022.
Thesis: Zastosowanie paradygmatu funkcyjnego do formalnej analizy systemów modelowanych w języku Alvis. (In polish) Author: mgr inż. Jerzy Biernacki. Supervisor: prof. dr hab. Marcin Szpyrka. PhD thesis: 10/11/2020.
Thesis: Wyznaczanie reprezentatywnego fragmentu współdziałania systemu obiektów. (In polish) Author: mgr Michał Horodelski. Supervisor: prof. dr hab. Józef Winkowski. Co-Supervisor: dr Piotr Filipkowski. PhD thesis: 15/10/2020.
Thesis: Ontology Adaptation for the Distributed Control Systems Management and Integration Purposes. Author: mgr inż. Michał Senik. Supervisor: Dr hab. inż. Dariusz Choiński prof. nzw. w Pol. Śl. PhD thesis: 27/03/2018.
Thesis: Temporal Planning with Fuzzy Constraints and Preferences. Author: Krystian Jobczyk. Supervisors: prof. dr hab. Antoni Ligęza and of Prof. DHR Maroua Bouzid. PhD thesis: 25/01/2018.
Thesis: Modelling of selected UML 2.0 diagrams with coloured Petri nets. Author: Wojciech Szmuc. Supervisor: prof. dr hab. Marcin Szpyrka. PhD thesis: 26/02/2015.