Studium
Informatika, Fakulta informatiky | ||
---|---|---|
Program | FI D-INF Informatika, doktorský studijní program | |
Školitel | prof. RNDr. Petr Hliněný, Ph.D. | |
Forma | prezenční se specializací | |
Stav | návrat z pobytu v zahraničí | |
Výzkumné zaměření | Structural and geometric graph theory and algorithmic metatheorems | |
Plán | FI DIFI Fundamenty informatiky | |
10. semestr, 5. ročník |
Informatika, Fakulta informatiky, 2019 (úspěšně abs., Mgr.) | ||
---|---|---|
Program | FI N-IN Informatika, magisterský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2019 | |
Závěrečná práce | Limits of efficient FO model checking of geometric graphs | |
Obor | FI TEI Teoretická informatika | |
Výsledky studia |
Informatika, Fakulta informatiky, 2017 (úspěšně abs., Bc.) | ||
---|---|---|
Program | FI B-IN Informatika, bakalářský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2017 | |
Závěrečná práce | FO properties of geometric graphs | |
Obor | FI MI Matematická informatika | |
Výsledky studia |
Osobní stránka je zobrazena se souhlasem uživatele: Filip Pokrývka, 19. 2. 2020