Počet výsledků: 42

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

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

Ajdarów, Michal

(udělen titul RNDr.)

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

Studijní program: Teoretická informatika
Studijní plán: Teoretická informatika
Rigorózní práce: Algorithmic Asymptotic Analysis of Infinite-Sate Systems

Ayaziová, Paulína

(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: Validation of Violation Witnesses in Software Verification

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

Galba, Matúš

(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: Porovnanie algoritmov pre testovanie existencie najkratších ciest

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í

Glozar, Tomáš

(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: Extending bpftrace with user-defined functions

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

Chlup, Vladimír

(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: Network Manager for RoFI Platform

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

Iľkovič, Daniel

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Diskrétní algoritmy a modely
Diplomová práce: Quasirandomness in graph theory

Jankola, Marek

(obhajoba byla úspěšná)

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

Studijní program: Teoretická informatika
Studijní plán: Formální analýza počítačových systémů
Diplomová práce: Tight Omega-Automata

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

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

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

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