doc. RNDr. David Šafránek, Ph.D.

Associate professor, Department of Machine Learning and Data Processing

office: A411
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 4476
e‑mail:

social and academic networks:

Basic information

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)

Discrete bifurcation analysis of hybrid systems – 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