RNDr. Samuel Pastva, Ph.D.

učo 410286
Assistant professor KPSK FI MU
daemontus(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz, email forwarded to another address

Studies

Programme FI Rig-IN Informatics, Advanced Master's state examination
Statusstate examination passed and studies completed, degree conferred: RNDr., in 2019
Thesis/DissertationDiscrete Bifurcation Analysis
Field of StudyFI PDS Parallel and Distributed Systems
Programme FI N-IN Informatics, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2017
Thesis/DissertationParallel parameter synthesis from hybrid logic HUCTL formulas
Field of StudyFI PDS Parallel and Distributed Systems
Programme FI B-IN Informatics, Bachelor's degree programme
Statusstate examination passed and studies completed, degree conferred: Bc., in 2015
Thesis/DissertationScalable Parameter Synthesis from CTL Hypotheses
Field of StudyFI PDS Parallel and Distributed Systems