Počet výsledků: 64

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

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

Nevyhoštěný, Václav

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Pareto Frontier Estimation in Offline Safe Reinforcement Learning

Ondika, Patrick

(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: Trajectory Control for High-DOF Manipulators

Pavlík, David

(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: Local Type Argument Synthesis for Erlang

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

Pekárková, Kristýna

(udělen titul RNDr.)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Matroid Algorithms and Their Applications in Optimization

Podaný, Josef

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Principy programovacích jazyků
Diplomová práce: A Rust library for manipulating sentential decision diagrams

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

Považanec, Adam

(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: Data Loss Prevention in Linux Workstation Environment

Procházka, Adam

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Kvantové a jiné neklasické výpočetní modely
Diplomová práce: Succinct data structures for bounded width graphs

Řechtáčková, Anna

(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: Detecting code quality defects in students’ solutions

Sedláček, Jindřich

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Formální analýza počítačových systémů
Diplomová práce: Symbolic Execution with Predicate Abstraction in Slowbeast

Schwarzová, Tereza

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Formální analýza počítačových systémů
Diplomová práce: Efficient Abstraction Refinement for BDD-based SMT Solvers

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

Straka, Adam

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Complexity and FPT algorithms for stack, queue and track numbers

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

Štěpková, Adéla

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Formální analýza počítačových systémů
Diplomová práce: Reversing Programs for Error Reachability Analysis

Unčovský, Vít

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Revisiting Uncertainty Quantification for Offline Reinforcement Learning

Urban, Lukáš

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Ruddy: A performance-optimized BDD library in Rust