Mgr. Samuel Pastva

učo 410286
daemontus(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz, pošta přeposílána jinam

Pracoviště

Studium

Informatika, Fakulta informatiky
Program FI D-INF Informatika, doktorský studijní program
Školitelprof. RNDr. Luboš Brim, CSc.
Formaprezenční se specializací
Stavukončení doby narušení studia
Výzkumné zaměřeníDiskrétní bifurkační analýza
PlánFI DIFI Fundamenty informatiky
7. semestr, 4. ročník
Program FI Rig-IN Informatika, rigorózní řízení
Stavukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2019
Závěrečná práceDiscrete Bifurcation Analysis
OborFI PDS Paralelní a distribuované systémy
Program FI N-IN Informatika, magisterský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2017
Závěrečná práceParalelní syntéza parametrů z formulí hybridní logiky HUCTL
OborFI PDS Paralelní a distribuované systémy
Program FI B-IN Informatika, bakalářský studijní program
Stavukonč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
OborFI PDS Paralelní a distribuované systémy

Osobní stránka je zobrazena se souhlasem uživatele: Samuel Pastva, 30. 11. 2019