RNDr. Filip Pokrývka, Ph.D.
grad. 2017, 2019, 2022, 2024, učo 433705
Studies
Informatics, Faculty of Informatics | ||
---|---|---|
Programme | FI N-IN Informatics, Master's degree programme | |
Status | state examination passed and studies completed, degree conferred: Mgr., in 2019 | |
Thesis/Dissertation | Limits of efficient FO model checking of geometric graphs | |
Field of Study | FI TEI Theoretical Informatics | |
Record of Study Results |
Informatics, Faculty of Informatics | ||
---|---|---|
Programme | FI B-IN Informatics, Bachelor's degree programme | |
Status | state examination passed and studies completed, degree conferred: Bc., in 2017 | |
Thesis/Dissertation | FO properties of geometric graphs | |
Field of Study | FI MI Mathematical Informatics | |
Record of Study Results |
The Personal Page is being displayed with the following user's consent: Filip Pokrývka, 19/2/2020