Absolventi a závěrečné práce

Počet výsledků: 4

Vyhledávání absolventů a závěrečných prací

Hledaný výraz

Omezit hledání na

Název práce

Absolvent/autor práce

Vedoucí/oponent

Klíčová slova

Fakulta

Pracoviště závěrečné práce

Titul osoby

Rok obhajoby

Obor/plán

zahrnout jen obhájené práce

Fakulta

Fakulta informatiky

Obor/plán

FI - Informatika: Teoretická informatika

zahrnout jen obhájené práce

(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

(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

(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

(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