RNDr. Tomáš Babiak, Ph.D.

absolvent 2007, 2010, 2012, 2017, učo 143254
tomas1284(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz

Studium

Program FI D-IN4 Informatika (čtyřleté), doktorský studijní program
Školitelprof. RNDr. Mojmír Křetínský, CSc.
Konzultantdoc. RNDr. Jan Strejček, Ph.D.
Stavukončení studia včetně státní zkoušky, udělen titul: Ph.D., v roce 2017
Závěrečná práceTranslation of Linear Temporal Logic to Omega-Automata
OborFI IN Informatika
Program FI Rig-IN Informatika, rigorózní řízení
Stavukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2012
Závěrečná práceTranslation of LTL to omega-automata
OborFI PDS Paralelní a distribuované systémy
Program FI N-IN Informatika, magisterský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2010
Závěrečná práceAlmost linear Bűchi automata
OborFI PDS Paralelní a distribuované systémy
Program FI B-AP Aplikovaná informatika, bakalářský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2007
Závěrečná práceVýpočet charakteristických vzorců pro LTL
OborFI BcAP Aplikovaná informatika

Osobní stránka je zobrazena se souhlasem uživatele: Tomáš Babiak, 8. 12. 2014