RNDr. Samuel Pastva, Ph.D.

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

Pracoviště

Studium

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