Professor, Department of Computer Science
Office: C514
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4085 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
| 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. rer. nat. habil. 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 decision | Board Decision |
| Faculty scientific board session date | 26 Apr 2019 |
| 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 | appointment to professor |
| Procedure initiation date | 9 Nov 2021 |
| Procedure conclusion date | 29 Nov 2022 |
| Public lecture | 29 Mar 2022 | Lecture Evaluation |
| 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) |
| Board decision | Board Decision |
| Faculty scientific board session date | 3 Jun 2022 |
| Masaryk University Scientific Board session date | 4 Oct 2022 |