Number of results: 4

Faculty
Faculty of Informatics
Field of Study/plan
FI - Informatics: Theoretical Informatics
include only defended theses

Gajarský, Jakub

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2014

Programme: Informatics
Field of Study: Theoretical Informatics
Advanced Master's thesis: Algorithmic Meta-theorems for Restricted Classes of Graphs

Chalupa, Marek

(the defence was successful)

Advanced Master's state examination, Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Theoretical Informatics
Advanced Master's thesis: Symbolic Execution for Verification

Pivoluska, Matej

(the defence was successful)

Advanced Master's state examination, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Theoretical Informatics
Advanced Master's thesis: Quantum Information Processing with Weak Sources of Randomness

Velan, Dominik

(the defence was successful)

Advanced Master's state examination, Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Theoretical Informatics
Advanced Master's thesis: Termination Complexity of Vector Addition Systems with States