RNDr. Tomáš Babiak, Ph.D.
abs. 2007, 2010, 2012, 2017, učo 143254
mail
muniStudium
| Informatika (čtyřleté), Fakulta informatiky | ||
|---|---|---|
| Program | FI D-IN4 Informatika (čtyřleté), doktorský studijní program | |
| Školitel | prof. RNDr. Mojmír Křetínský, CSc. | |
| Konzultant | prof. RNDr. Jan Strejček, Ph.D. | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Ph.D., v roce 2017 | |
| Závěrečná práce | Translation of Linear Temporal Logic to Omega-Automata | |
| Obor | FI IN Informatika | |
| Informatika, Fakulta informatiky | ||
|---|---|---|
| Program | FI Rig-IN Informatika, rigorózní řízení | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2012 | |
| Závěrečná práce | Translation of LTL to omega-automata | |
| Obor | FI PDS Paralelní a distribuované systémy | |
| Informatika, Fakulta informatiky | ||
|---|---|---|
| Program | FI N-IN Informatika, magisterský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2010 | |
| Závěrečná práce | Almost linear Bűchi automata | |
| Obor | FI PDS Paralelní a distribuované systémy | |
| Aplikovaná informatika, Fakulta informatiky | ||
|---|---|---|
| Program | FI B-AP Aplikovaná informatika, bakalářský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2007 | |
| Závěrečná práce | Výpočet charakteristických vzorců pro LTL | |
| Obor | FI BcAP Aplikovaná informatika | |
Osobní stránka je zobrazena se souhlasem uživatele: Tomáš Babiak, 8. 12. 2014