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

Associate professor, Department of Machine Learning and Data Processing

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

Show on the map

Phone: +420 549 49 4476
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

You are running an old browser version. We recommend updating your browser to its latest version.

More info