RNDr. Filip Pokrývka
učo 433705
![(zavináč/atsign)](/pics/posta/afaab3d12cb3c8ae85bbd3cb502603a6Z.gif)
![(tečka/dot)](/pics/posta/e9f5184afde5ba627a94ad0d0eeb7fb9T.gif)
![(tečka/dot)](/pics/posta/e9f5184afde5ba627a94ad0d0eeb7fb9T.gif)
![(zavináč/atsign)](/pics/posta/afaab3d12cb3c8ae85bbd3cb502603a6Z.gif)
![(tečka/dot)](/pics/posta/e9f5184afde5ba627a94ad0d0eeb7fb9T.gif)
Studies
Computer Science, Faculty of Informatics | ||
---|---|---|
Programme | FI D-INF Computer Science, doctoral degree programme | |
Supervisor | prof. RNDr. Petr Hliněný, Ph.D. | |
Study Mode | full-time specialized | |
Status | returned from a stay abroad | |
Research topic | Structural and geometric graph theory and algorithmic metatheorems | |
Plan | FI DIFI Fundamentals of Computer Science | |
10th term, 5th year |
Informatics, Faculty of Informatics, 2019 (completed, Mgr.) | ||
---|---|---|
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, 2017 (completed, Bc.) | ||
---|---|---|
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