doc. RNDr. David Šafránek, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: A408
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4476 |
---|---|
E‑mail: |
social and academic networks: |
---|
Finished procedures
Habilitation procedures | |
---|---|
Applicant's name at procedure initiation | RNDr. David Šafránek, Ph.D. |
Applicant's workplace at procedure initiation | Faculty of Informatics |
Procedure field | Informatics |
Faculty implementing procedure | Faculty of Informatics |
Procedure status | appointment to associate professor |
Procedure initiation date | 12 Nov 2018 |
Procedure conclusion date | 1 Apr 2020 |
Habilitation thesis (publicly available part) | Formal Methods for Analysis of Biological Systems under Parameter Uncertainty |
Habilitation thesis reviewers |
Prof. Luca Cardelli, PhD (University of Oxford, UK)
Dr. François Fages (Inria Saclay Ile de France) Prof. Ion Petre (University of Turku, Finland) |
Reviewers' thesis reports | Report 1 | Report 2 | Report 3 |
Public lecture | 24 Sep 2019 | Lecture Evaluation |
habilitation board | |
Chair | prof. RNDr. Michal Kozubek, Ph.D. (Faculty of Informatics MU) |
Members |
prof. Mgr. Jiří Damborský, Dr.
(Faculty of Science MU)
prof. Ing. Jan Holub, Ph.D. (FIT ČVUT v Praze) prof. Ing. Lukáš Sekanina, Ph.D. (FIT VUT v Brně) doc. Mgr. Tomáš Vinař, PhD. (FMFI UK v Bratislavě) |
Board decision | Board Decision |
Faculty scientific board session date | 13 Dec 2019 |