Počet výsledků: 14

Výsledky se týkají 3 oborů/plánů studia
Fakulta
Fakulta informatiky
Obor/plán
FI - Teoretická informatika: Kvantové a jiné neklasické výpočetní modely FI - Teoretická informatika: Principy programovacích jazyků FI - Teoretická informatika: Teoretická informatika
zahrnout jen obhájené práce

Agaoglu, Deniz

(udělen titul RNDr.)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Parameterized Algorithms for Geometric Intersection Graphs

Buriánek, Tomáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Techniky programování kvantových počítačů

Fiedler, Adam

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Deduction in Matching Logic

Galovičová, Sandra

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Automatizácia extrakcie informácií z emailov dopravných spoločností

Gorta, Samuel

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Exponenciálne matematické modely experimentálnych dát MRI

Chodil, Miroslav

(udělen titul RNDr.)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: The satisfiability problem for Probabilistic CTL

Klaška, David

(udělen titul RNDr.)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Efficient Synthesis of Finite-Memory Strategies in Patrolling Games

Lauko, Henrich

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Abstractions via Program Transformations

Matoušek, Adam

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Hledání podobností v domácích úlohách

Micheľová, Henrieta

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Step-by-Step Evaluator of Haskell Expressions

Mikušinec, Jozef

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2022

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Well-founded semantics for dependent, recursive record types with type complement

Pekárková, Kristýna

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2021

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Matroid Based Approach to Matrix Sparsification

Pokrývka, Filip

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Structural and geometric graph theory and algorithmic metatheorems

Zaťko, Pavol

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2021

Studijní program: Teoretická informatika
Studijní plán: Kvantové a jiné neklasické výpočetní modely
Diplomová práce: Search Algorithms for Stochastic Grid-World Maze Navigation