Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Automatická analýza a verifikace programů –
probíhající studium
-
Automatická analýza programů –
probíhající studium
-
Program Slicing and Symbolic Execution for Verification –
absolvent 2022
Obor: Informatika
Témata závěrečných prací (školitel)
-
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice –
absolvent 2019
-
Automata for Formal Methods: Little Steps Towards Perfection –
absolvent 2018
Témata závěrečných prací (konzultant)
-
Translation of Linear Temporal Logic to Omega-Automata –
absolvent 2017
-
Automatic Bug-finding Techniques for Large Software Projects –
absolvent 2014
-
Symbolic Execution and Program Loops –
absolvent 2014
Podrobné informace o tématech a doktorských studentech
