Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Algoritmická analýza pravděpodobnostních systémů –
ongoing study
-
Probablistic temporal logics –
ongoing study
-
Stochastic games in operational research –
ongoing study
-
Algorithmic Analysis of Infinite-State Systems –
ongoing study
Field of study: Informatics
Topics of doctoral theses (supervisor)
-
Parameter Synthesis in Continuous-Time Stochastic Systems –
graduate 2018
-
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
-
Automatic Bug-finding Techniques for Large Software Projects –
graduate 2014
-
Symbolic Execution and Program Loops –
graduate 2014
-
Basic Model Checking Problems for Stochastic Games –
graduate 2009
-
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives –
graduate 2009
-
Verification of Probabilistic Recursive Sequential Programs –
graduate 2007
Detailed information on doctoral topics and students
