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

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

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

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

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

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

Ř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

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