RNDr. Samuel Pastva, Ph.D.
učo 410286
![(zavináč/atsign)](/pics/posta/5411e01e08f13d7c44dab6b52ed7899cZ.gif)
![(tečka/dot)](/pics/posta/53c08b08ffb5a758df1b061520f51d8dT.gif)
![(tečka/dot)](/pics/posta/53c08b08ffb5a758df1b061520f51d8dT.gif)
Studium
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