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: |
|---|
| 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 |