Mgr. Samuel Pastva

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

Studies

Computer Science, Faculty of Informatics
Programme FI D-INF Computer Science, doctoral degree programme
Supervisorprof. RNDr. Luboš Brim, CSc.
Study Modefull-time specialized
Statusend of the period of disrupted studies
Research topicDiskrétní bifurkační analýza
PlanFI DIFI Fundamentals of Computer Science
7th semester, 4th year
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

The Personal Page is being displayed with the following user's consent: Samuel Pastva, 30/11/2019