Number of results: 34

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

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

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

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

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

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

Krúželová, Daniela

(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: Boolean networks state space visualization

Lauko, Henrich

(the defence was successful)

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

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: Abstractions via Program Transformations

Mačák, 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: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy

Matonoha, Petr

(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: Variational quantum eigensolver using particle swarm optimisation

Matoušek, 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: Discovering similarities in student assignments