O mnie

Aktywność Naukowa

13.07.2015 - 12.07.2017 - opiekun naukowy projektu NCN Nr 2014/15/N/ST6/05079: Wybrane metody weryfikacji modelowej wykorzystujące testery SMT. Konkurs PRELUDIUM. Kierownik projektu: mgr Agnieszka Zbrzezny.
8.12.2011 - 7.12.2014 - kierownik projektu NCN Nr UMO-2011/01/B/ST6/05317: Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych. Konkurs OPUS.
1.07.2006 - 30.12.2008 - wykonawca grantu KBN Nr 3T11C 01128: Automatyczna symboliczna weryfikacja programów i protokołów kryptograficznych w systemach rozproszonych.
- Kierownik projektu - prof. dr hab. Piotr Dembiński
- Glówny wykonawca - doc. dr hab. Wojciech Penczek
1.02.2004 - 30.05.2006 - główny wykonawca grantu EPSRC Nr GR/S49353, pt. "Weryfikacja modelowa systemów wieloagentowych."
- Kierownik projektu- dr Alessio Lomuscio
1.04.2003 - 30.03.2004 - kierownik grantu promotorskiego Nr 4T11C01724, pt. "Opracowanie oraz implementacja ograniczonej weryfikacji modelowej jako metody unikania eksplozji stanów."
- Opiekun naukowy- doc. dr hab. Wojciech Penczek
1.07.2000 - 30.06.2003 - wykonawca grantu KBN Nr 8T11C01419, pt. Automatyczna weryfikacja systemów zaleznych od czasu .
- Kierownik projektu - prof. dr hab. Piotr Dembiński
- Glówny wykonawca - doc. dr hab. Wojciech Penczek

Tytuł: Wybrane metody weryfikacji modelowej wykorzystujące testery SAT i SMT. Autor: Agnieszka Zbrzezny. Recenzenci: prof. dr hab. inż. Jan Magott and prof. dr hab. Marcin Szpyrka. Nadanie stopnia naukowego: 16/11/2017.

Tytuł: Metody generowania etykietowanych systemów przejść dla języka Alvis. Autor: mgr inż. Michał Wypych. Promotor: prof. dr hab. Marcin Szpyrka. Nadanie stopnia naukowego: 10/02/2022.
Tytuł: Zastosowanie paradygmatu funkcyjnego do formalnej analizy systemów modelowanych w języku Alvis. Autor: mgr inż. Jerzy Biernacki. Promotor: prof. dr hab. Marcin Szpyrka. Nadanie stopnia naukowego: 10/11/2020.
Tytuł: Wyznaczanie reprezentatywnego fragmentu współdziałania systemu obiektów. Autor: mgr Michał Horodelski. Promotor: prof. dr hab. Józef Winkowski. Promotor pomocniczy: dr Piotr Filipkowski. Nadanie stopnia naukowego: 15/10/2020.
Tytuł: Ontology Adaptation for the Distributed Control Systems Management and Integration Purposes. Autor: mgr inż. Michał Senik. Promotor: Dr hab. inż. Dariusz Choiński prof. nzw. w Pol. Śl. Nadanie stopnia naukowego: 27/03/2018.
Tytuł: Planowanie temporalne z ograniczeniami typu rozmytego i preferencjami. Autor: dr Krystian Jobczyk. Promotor: prof. dr hab. Antoni Ligęza and of Prof. DHR Maroua Bouzid. Nadanie stopnia naukowego: 25/01/2018.
Tytuł: Modelowanie wybranych diagramów języka UML 2.0 z zastosowaniem kolorowanych sieci Petriego. Autor: mgr inż. Wojciech Szmuc. Promotor: prof. dr hab. Marcin Szpyrka. Nadanie stopnia naukowego: 26/02/2015.