O mnie

Aktywność Naukowa

16 styczeń 2014 - doktor habilitowany w dziedzinie nauk technicznych w dyscyplinie informatyka, Instytut Podstaw Informatyki PAN Warszawa. Tytuł osiągnięcia naukowego: " Modelowanie i weryfikacja modelowa systemów wieloagentowych oraz systemów z czasem ".
24 czerwiec 2003 - doktor nauk matematycznych w zakresie informatyki (rozprawa wyróżniona), Instytut Podstaw Informatyki PAN Warszawa. Tytuł rozprawy: "Ograniczona Weryfikacja Modelowa dla logik czasu rozgałęzionego. Szybka Metoda Falsyfikacji".
- Promotor: doc. dr hab. Wojciech Penczek
- Recenzenci: prof. dr hab. Tomasz Szmuc and doc. dr hab. Marian Srebrny
17 Kwiecień 1997 - magister, Wydział Matematyki, Fizyki i Chemii, Uniwersytet Opolski, Opole. Tytuł rozprawy: " Obsługa plotera w języku C/C++ ".
- Promotor: dr hab. Wiesław Szwast
- Recenzent: dr Tomasz Weber