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

Jedelský, Jan

(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: Twin-width of planar graphs

Jedelský, Jan

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: First-order hierarchies of graph classes and algorithmic metatheorems

Jelínek, Vít

(udělen titul Mgr.)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Type theory and its semantics

Kancko, Tomáš

(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: Authorship verification via cloze-test

Kinská, Tereza

(udělen titul Mgr.)

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: Detection of LTL-definability in Büchi Automata

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

Konicar, Robert

(udělen titul Mgr.)

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: Dialect-Based Points-to Analysis for MLIR

Kovářová, Nastasia

(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: Structures for Arbitrary-Width Integer Arithmetic

Kramář, Dalibor

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Verzování Interaktivních osnov v IS MU

Krúželová, Daniela

(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: Vizualizácia stavového priestoru booleovskej siete

Kučerák, Filip

(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: Quasirandomness in combinatorics

Kumor, Kristián

(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: Compact Symbolic Execution in Slowbeast

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

Mačák, Jan

(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: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy

Macháček, Tomáš

(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: Extending Model-Based Projection with Invertibility Conditions

Málik, 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: On the Bounds of Conflict-Free Coloring of Planar Graphs

Matonoha, Petr

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Kvantové a jiné neklasické výpočetní modely
Diplomová práce: Variational quantum eigensolver using particle swarm optimisation

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

Mihalkovič, Vincent

(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: Improved translation of LLVM IR code to C

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