doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
| E‑mail: |
|
|---|
Qualifications
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 |