Number of results: 46

Results of 5 selected fields/plans of study
Faculty
Faculty of Informatics
Field of Study/plan
FI - Theoretical computer science: Discrete algorithms and models FI - Theoretical computer science: Formal analysis of computer systems FI - Theoretical computer science: Principles of programming languages FI - Theoretical computer science: Quantum and Other Nonclassical Computational Models FI - Theoretical computer science: Theoretical computer science
include only defended theses

Agaoglu, Deniz

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2021

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: Parameterized Algorithms for Geometric Intersection Graphs

Ajdarów, Michal

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2023

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: Algorithmic Asymptotic Analysis of Infinite-Sate Systems

Ayaziová, Paulína

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Formal analysis of computer systems
Master's thesis: Validation of Violation Witnesses in Software Verification

Buriánek, Tomáš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2022

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Programming techniques for Quantum Computers

Fiedler, Adam

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2022

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Deduction in Matching Logic

Gábor, Peter

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2025

Programme: Theoretical computer science
Study plan: Discrete algorithms and models
Master's thesis: Generating inputs for flexible vehicle routing

Galba, Matúš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Quantum and Other Nonclassical Computational Models
Master's thesis: Shortest-path Feasibility Algorithms: An Evaluation

Galovičová, Sandra

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2022

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Automation of Information Extraction from Transport-Company Emails

Glozar, Tomáš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Extending bpftrace with user-defined functions

Gorta, Samuel

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2022

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Exponential mathematical models of MRI data

Chlup, Vladimír

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2023

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Network Manager for RoFI Platform

Chodil, Miroslav

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2022

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: The satisfiability problem for Probabilistic CTL

Iľkovič, Daniel

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2023

Programme: Theoretical computer science
Study plan: Discrete algorithms and models
Master's thesis: Quasirandomness in graph theory

Jankola, Marek

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2023

Programme: Theoretical computer science
Study plan: Formal analysis of computer systems
Master's thesis: Tight Omega-Automata

Jedelský, Jan

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Twin-width of planar graphs

Jelínek, Vít

(awarded the degree Mgr.)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Discrete algorithms and models
Master's thesis: Type theory and its semantics

Kancko, Tomáš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2023

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Authorship verification via cloze-test

Klaška, David

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2021

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: Efficient Synthesis of Finite-Memory Strategies in Patrolling Games

Konicar, Robert

(awarded the degree Mgr.)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2025

Programme: Theoretical computer science
Study plan: Formal analysis of computer systems
Master's thesis: Dialect-Based Points-to Analysis for MLIR

Kovářová, Nastasia

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2024

Programme: Theoretical computer science
Study plan: Formal analysis of computer systems
Master's thesis: Structures for Arbitrary-Width Integer Arithmetic