Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Automatická analýza a verifikace programů –
ongoing study
-
Automatická analýza programů –
ongoing study
-
Program Slicing and Symbolic Execution for Verification –
graduate 2022
Field of study: Informatics
Topics of doctoral theses (supervisor)
-
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice –
graduate 2019
-
Automata for Formal Methods: Little Steps Towards Perfection –
graduate 2018
Topics of doctoral theses (consultant)
-
Translation of Linear Temporal Logic to Omega-Automata –
graduate 2017
-
Automatic Bug-finding Techniques for Large Software Projects –
graduate 2014
-
Symbolic Execution and Program Loops –
graduate 2014
Detailed information on doctoral topics and students
