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


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

Show on the map

phone: +420 549 49 4476
e‑mail:
Qualifications

Ongoing procedure

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 evaluation by habilitation board
Procedure initiation date 12 Nov 2018
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 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's position Board'S Position