doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.


e‑mail:
Qualifications

Finnished procedure

Habilitation procedures
Applicant's name at procedure initiation Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Applicant's workplace at procedure initiation Technical University of Munich, Germany
Procedure field Informatics
Faculty implementing procedure Faculty of Informatics
Procedure status appointment to associate professor
Procedure initiation date 15 Nov 2018
Procedure conclusion date 1 Jul 2019
Habilitation thesis (publicly available part) Modern Probabilistic Verification
Habilitation thesis reviewers Prof. Orna Kupferman (Hebrew University, Israel)
Prof. Slawomír Lasota (University of Warsaw, Poland)
Dr. Richard Mayr (University of Edinburgh, UK)
Reviewers' thesis reports Report 1 | Report 2 | Report 3
Public lecture 16 Apr 2019 | Lecture Evaluation
habilitation board
Chair prof. RNDr. Daniel Kráľ, Ph.D., DSc. (Faculty of Informatics MU)
Members prof. RNDr. Jiří Barnat, Ph.D. (Faculty of Informatics MU)
prof. RNDr. Petr Jančar, CSc. (UP v Olomouci)
prof. Mgr. Michal Koucký, Ph.D. (IÚ MFF UK v Praze)
prof. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně)
Board's position Board'S Position
Faculty scientific board session date 26 Apr 2019