Field of study: Computer Systems and Technologies
Topics of doctoral theses (supervisor)
-
Analysis of Parallel C++ Programs –
graduate 2020
-
Automating Software Development with Explicit Model Checking –
graduate 2016
-
Model Checking Software –
graduate 2015
Field of study: Computing Technology and Methodology
Topics of doctoral theses (supervisor)
-
Distributed Control for Metamorphic Robots –
ongoing study
-
Abstraction via Program Transformation –
graduate 2024
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Algoritmický výzkum v oblasti metamorfních robotů –
ongoing study
Field of study: Informatics
Topics of doctoral theses (consultant)
-
Quantitative Formal Methods for High-level Robot Path Planning –
graduate 2013
-
Designing Data-Parallel Graph Algorithms for Model Checking –
graduate 2012
Detailed information on doctoral topics and students
