Pracoviště
Katedra počítačových systémů a komunikací – Fakulta informatiky (externí spolupráce) |
---|
Studium
Aplikovaná informatika, Fakulta informatiky, 2016 (úspěšně abs., Mgr.) | ||
---|---|---|
Program | FI N-AP Aplikovaná informatika, magisterský studijní program | |
Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2016 | |
Závěrečná práce | TCP vrstva pro verifikační nástroj DIVINE | |
Obor | FI AP Aplikovaná informatika | |
Výsledky studia |
Aplikovaná informatika, Fakulta informatiky, 2013 (úspěšně abs., Bc.) | ||
---|---|---|
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 2013 | |
Závěrečná práce | Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE | |
Obor | FI BcAP Aplikovaná informatika | |
Výsledky studia |
Osobní stránka je zobrazena se souhlasem uživatele: Jiří Weiser, 7. 9. 2016