Field of study: Computing Technology and Methodology
Topics of doctoral theses (supervisor)
-
Molecular dynamics –
ongoing study
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Strojové učení, hluboké neuronové sítě a vysvětlitelnost –
ongoing study
-
Strojové učení - zpracování biologických dat –
ongoing study
-
Termination Time of Vector Addition Systems with States –
graduate 2022
Topics of doctoral theses (consultant)
-
Applications of machine learning in information security –
ongoing study
Field of study: Informatics
Topics of doctoral theses (consultant)
-
Controller Synthesis for Resource-Aware Systems –
graduate 2015
-
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds –
graduate 2014
-
Modal Transition Systems: Extensions and Analysis –
graduate 2014
-
Basic Model Checking Problems for Stochastic Games –
graduate 2009
-
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives –
graduate 2009
Detailed information on doctoral topics and students
