Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Strojové učení, hluboké neuronové sítě a vysvětlitelnost –
probíhající studium
-
Strojové učení - zpracování biologických dat –
probíhající studium
-
Termination Time of Vector Addition Systems with States –
absolvent 2022
Témata závěrečných prací (konzultant)
-
Applications of machine learning in information security –
probíhající studium
Obor: Informatika
Témata závěrečných prací (konzultant)
-
Controller Synthesis for Resource-Aware Systems –
absolvent 2015
-
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds –
absolvent 2014
-
Modal Transition Systems: Extensions and Analysis –
absolvent 2014
-
Basic Model Checking Problems for Stochastic Games –
absolvent 2009
-
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives –
absolvent 2009
Podrobné informace o tématech a doktorských studentech
