Počet výsledků: 4

Obor/plán
FI - Informatika: Teoretická informatika
zahrnout jen obhájené práce

Gajarský, Jakub

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Teoretická informatika
Rigorózní práce: Algorithmic Meta-theorems for Restricted Classes of Graphs

Chalupa, Marek

(obhajoba byla úspěšná)

Rigorózní řízení, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Teoretická informatika
Rigorózní práce: Symbolic Execution for Verification

Pivoluska, Matej

(obhajoba byla úspěšná)

Rigorózní řízení, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Teoretická informatika
Rigorózní práce: Quantum Information Processing with Weak Sources of Randomness

Velan, Dominik

(obhajoba byla úspěšná)

Rigorózní řízení, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Teoretická informatika
Rigorózní práce: Termination Complexity of Vector Addition Systems with States