Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Algoritmický výzkum v oblasti metamorfních robotů –
probíhající studium
Obor: Informatika
Témata závěrečných prací (konzultant)
-
Quantitative Formal Methods for High-level Robot Path Planning –
absolvent 2013
-
Designing Data-Parallel Graph Algorithms for Model Checking –
absolvent 2012
Obor: Počítačové systémy a technologie
Témata závěrečných prací (školitel)
-
Analysis of Parallel C++ Programs –
absolvent 2020
-
Automating Software Development with Explicit Model Checking –
absolvent 2016
-
Model Checking Software –
absolvent 2015
Obor: Technologie a metodologie počítačových systémů
Témata závěrečných prací (školitel)
-
Distributed Control for Metamorphic Robots –
probíhající studium
-
Abstraction via Program Transformation –
absolvent 2024
Podrobné informace o tématech a doktorských studentech
