RNDr. Filip Pokrývka
abs. 2017, 2019, 2022, 2024, učo 433705
Studium
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 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 | ||
---|---|---|
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