Adam Roman (informatyk)
doktor habilitowany nauk technicznych | |
Specjalność: teoria języków formalnych i automatów, teoria grafów, złożoność obliczeniowa | |
Alma Mater | |
---|---|
Doktorat |
2006 – informatyka |
Habilitacja |
2016 – informatyka |
adiunkt | |
Uczelnia |
Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego |
Adam Roman – polski informatyk, doktor habilitowany nauk technicznych. Specjalizuje się w testowaniu i jakości oprogramowania, teorii języków formalnych i automatów, teorii grafów oraz złożoności obliczeniowej[1]. Adiunkt Instytutu Informatyki i Matematyki Komputerowej Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego[1][2][3].
Życiorys[edytuj | edytuj kod]
Studia z informatyki ukończył na Uniwersytecie Jagiellońskim, gdzie następnie został zatrudniony i zdobywał kolejne awanse akademickie. Stopień doktorski uzyskał w 2006 na podstawie pracy pt. Problemy synchronizacji automatów skończonych, przygotowanej pod kierunkiem prof. Wita Forysia[1]. Habilitował się na Wydziale Elektroniki Politechniki Wrocławskiej w 2016 na podstawie oceny dorobku naukowego i rozprawy pt. Synchronizacja i Problem Kolorowania Drogi - algorytmy, złożoność obliczeniowa i uogólnienia[1].
Swoje prace publikował w takich czasopismach jak m.in. „Applied Mathematics and Computation”, „Pattern Analysis and Applications” „Journal of Automata, Languages and Combinatorics”, „Information Processing Letters", „Schedae Informaticae" oraz „Journal of Computer and System Sciences”[4][5][6]. Jest autorem monografii "Testowanie i jakość oprogramowania. Modele, techniki, narzędzia" (PWN)[7].
Przypisy[edytuj | edytuj kod]
- ↑ a b c d Dr hab. Adam Roman, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2017-08-16] .
- ↑ dr hab. Adam Roman. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ dr hab. Adam Roman. matinf.uj.edu.pl. [dostęp 2017-06-14].
- ↑ Adam Roman (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Adam Roman (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Adam Roman (publikacje). researchgate.net. [dostęp 2017-06-28]. (ang.).
- ↑ Testowanie i jakość oprogramowania. Metody, narzędzia, techniki [online], Księgarnia Internetowa PWN [dostęp 2017-11-04] .
Linki zewnętrzne[edytuj | edytuj kod]
- Adam Roman (strona domowa). uj.edu.pl. [dostęp 2017-08-16]. (ang.).