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

Qualifications

Ongoing procedures

Professorship procedures
Applicant's name at procedure initiation doc. 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 ongoing procedure
Procedure initiation date 9 Nov 2021
Evaluation board
Chair prof. RNDr. Daniel Kráľ, Ph.D., DSc. (Faculty of Informatics MU)
Members prof. RNDr. Jiří Barnat, Ph.D. (Faculty of Informatics MU)
Mikolaj Bojanczyk (University of Warsaw)
prof. RNDr. Petr Jančar, CSc. (Palacký University Olomouc)
prof. RNDr. Jiří Sgall, DrSc. (Charles University, Faculty of Mathematics and Physics)

Finished procedures

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

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

More info