RNDr. Samuel Pastva, Ph.D.
učo 410286
Assistant professor KPSK FI MU
549 49 5943 call
mail
municzDepartment
| Department of Computer Systems and Communications – Faculty of Informatics | |
|---|---|
| Position | assistant professor |
| Room | A303 (Botanická 68a, Brno – 3. nadzemní podlaží) |
| Phone number | 549 49 5943 call |
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 | |