RNDr. Samuel Pastva, Ph.D.
učo 410286
![(zavináč/atsign)](/pics/posta/f67d3b0364c2d75b9c5c5ef4a4fad820Z.gif)
![(tečka/dot)](/pics/posta/2a31c1cab3eb858f1e769053bf4708e0T.gif)
![(tečka/dot)](/pics/posta/2a31c1cab3eb858f1e769053bf4708e0T.gif)
Studies
Informatics, Faculty of Informatics, 2019 (completed, RNDr.) | ||
---|---|---|
Programme | FI Rig-IN Informatics, Advanced Master's state examination | |
Status | state examination passed and studies completed, degree conferred: RNDr., in 2019 | |
Thesis/Dissertation | Discrete Bifurcation Analysis | |
Field of Study | FI PDS Parallel and Distributed Systems |
Informatics, Faculty of Informatics, 2017 (completed, Mgr.) | ||
---|---|---|
Programme | FI N-IN Informatics, Master's degree programme | |
Status | state examination passed and studies completed, degree conferred: Mgr., in 2017 | |
Thesis/Dissertation | Parallel parameter synthesis from hybrid logic HUCTL formulas | |
Field of Study | FI PDS Parallel and Distributed Systems |
Informatics, Faculty of Informatics, 2015 (completed, Bc.) | ||
---|---|---|
Programme | FI B-IN Informatics, Bachelor's degree programme | |
Status | state examination passed and studies completed, degree conferred: Bc., in 2015 | |
Thesis/Dissertation | Scalable Parameter Synthesis from CTL Hypotheses | |
Field of Study | FI PDS Parallel and Distributed Systems |
The Personal Page is being displayed with the following user's consent: Samuel Pastva, 30/11/2019