Počet výsledků: 34

Výsledky se týkají 5 zvolených oborů/plánů studia
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

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í

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

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

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

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

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