Mgr. Samuel Pastva
učo 410286
mail
municzPracoviště
| Katedra teorie programování - Fakulta informatiky (externí spolupráce) |
|---|
Studium
| Informatika, Fakulta informatiky | ||
|---|---|---|
| Program | FI D-INF Informatika, doktorský studijní program | |
| Školitel | prof. RNDr. Luboš Brim, CSc. | |
| Forma | prezenční se specializací | |
| Stav | ukončení doby narušení studia | |
| Výzkumné zaměření | Diskrétní bifurkační analýza | |
| Plán | FI DIFI Fundamenty informatiky | |
| 7. semestr, 4. ročník | ||
| Informatika, Fakulta informatiky, 2019 (úspěšně abs., RNDr.) | ||
|---|---|---|
| Program | FI Rig-IN Informatika, rigorózní řízení | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2019 | |
| Závěrečná práce | Discrete Bifurcation Analysis | |
| Obor | FI PDS Paralelní a distribuované systémy | |
| Informatika, Fakulta informatiky, 2017 (ú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 2017 | |
| Závěrečná práce | Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | |
| Obor | FI PDS Paralelní a distribuované systémy | |
| Informatika, Fakulta informatiky, 2015 (ú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 2015 | |
| Závěrečná práce | Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | |
| Obor | FI PDS Paralelní a distribuované systémy | |
Osobní stránka je zobrazena se souhlasem uživatele: Samuel Pastva, 30. 11. 2019