Počet výsledků: 46

Výsledky se týkají 5 zvolených oborů/plánů studia
Fakulta
Fakulta informatiky
Obor/plán
FI - Teoretická informatika: Diskrétní algoritmy a modely FI - Teoretická informatika: Formální analýza počítačových systémů 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

Solař, Roman

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Kvantové a jiné neklasické výpočetní modely
Diplomová práce: Exploring matrix completion methods for high-dimensional quantum entanglement certification

Svoboda, Ondřej

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Revisiting State-Space Exploration for RoFI Reconfiguration

Šárník, Jakub

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Formální analýza počítačových systémů
Diplomová práce: Experimental Evaluation of Variants of Property Directed Reachability

Zaoral, Lukáš

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards

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

Žáček, Matěj

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: Automatic Structures of Polynomial Growth