Number of results: 14

Results of 3 fields/plans of study
Faculty
Faculty of Informatics
Field of Study/plan
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)

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

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

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

Chodil, Miroslav

(awarded the degree)

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

Klaška, David

(awarded the degree)

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

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

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

Micheľová, Henrieta

(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: Step-by-Step Evaluator of Haskell Expressions

Mikušinec, Jozef

(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: Well-founded semantics for dependent, recursive record types with type complement

Pekárková, Kristýna

(the defence was successful)

Master's degree programme (following the Bachelor's one), Faculty of Informatics, 2021

Programme: Theoretical computer science
Study plan: Principles of programming languages
Master's thesis: Matroid Based Approach to Matrix Sparsification

Pokrývka, Filip

(the defence was successful)

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

Programme: Theoretical computer science
Study plan: Theoretical computer science
Advanced Master's thesis: Structural and geometric graph theory and algorithmic metatheorems

Zaťko, Pavol

(the defence was successful)

Master's degree programme (following the Bachelor's one), Faculty of Informatics, 2021

Programme: Theoretical computer science
Study plan: Quantum and Other Nonclassical Computational Models
Master's thesis: Search Algorithms for Stochastic Grid-World Maze Navigation