Obor: Fundamenty informatiky
Témata závěrečných prací (konzultant)
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology –
absolvent 2022
Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Diskrétní bifurkační analýza hybridních systémů –
probíhající studium
Témata závěrečných prací (konzultant)
-
Rule-based Modelling of Biochemical Processes: Specification and Analysis –
absolvent 2023
Obor: Počítačové systémy a technologie
Témata závěrečných prací (konzultant)
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology –
absolvent 2020
Obor: Technologie a metodologie počítačových systémů
Témata závěrečných prací (školitel)
-
Identifying Qualitative Dynamic Models from Experimental Data and Literature Knowledge –
probíhající studium
-
AI-supported inference of gene regulatory networks and their boolean models –
probíhající studium
Podrobné informace o tématech a doktorských studentech
