RNDr. Vladimír Štill, Ph.D.
učo 373979
mail
muniPracoviště
| Rektorát (externí spolupráce) |
|---|
Studium
| Informatika, Fakulta informatiky, 2016 (ú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 2016 | |
| Závěrečná práce | LLVM Transformations for Model Checking | |
| Obor | FI PDS Paralelní a distribuované systémy | |
| Informatika, Fakulta informatiky, 2013 (ú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 2013 | |
| Závěrečná práce | State space compression for the DiVinE model checker | |
| Obor | FI PSK Počítačové sítě a komunikace | |
Osobní stránka je zobrazena se souhlasem uživatele: Vladimír Štill, 29. 3. 2024