Field of study: Computer Science
Topics of doctoral theses (supervisor)
-
Multimodal Data Integration and Constraint Synthesis for Inferring Qualitative Models of Gene Regulatory Dynamics –
ongoing study
Field of study: Computer Systems and Technologies
Topics of doctoral theses (consultant)
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology –
graduate 2020
Field of study: Computing Technology and Methodology
Topics of doctoral theses (supervisor)
-
Identifying Qualitative Dynamic Models from Experimental Data and Literature Knowledge –
ongoing study
-
AI-supported inference of gene regulatory networks and their boolean models –
ongoing study
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (consultant)
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology –
graduate 2022
Field of study: Fundamentals of Computer Science
Topics of doctoral theses (supervisor)
-
Control of Partially Specified Boolean Networks –
ongoing study
Topics of doctoral theses (consultant)
-
Rule-based Modelling of Biochemical Processes: Specification and Analysis –
graduate 2023
Detailed information on doctoral topics and students
