doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A411
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
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: 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