Vice-dean for curricula and internationalisation, Faculty of Informatics
Office: C436
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4687 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
| Habilitation procedures | |
|---|---|
| Applicant's name at procedure initiation | RNDr. Vojtěch Řehák, 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 | 15 Nov 2018 |
| Procedure conclusion date | 1 Jul 2019 |
| Habilitation thesis (publicly available part) |
Stochastic Real-Time Systems: Parameter Synthesis and Games
Grounds for withholding the publication license of the habilitation thesis:
The grounds for withholding the publication license of the habilitation thesis or its part are available in Czech only.
|
| Habilitation thesis reviewers |
Prof. Patricia Bouyer-Decitre (LSV, CNRS & ENS de Cachan, France)
Prof. Marta Zofia Kwiatkowska (University of Oxford, UK) Prof. Kim G. Larsen (Aalborg University, Denmark) |
| Reviewers' thesis reports | Report 1 | Report 2 | Report 3 |
| Public lecture | 23 Apr 2019 | Lecture Evaluation |
| habilitation board | |
| Chair | prof. RNDr. Petr Hliněný, Ph.D. (Faculty of Informatics MU) |
| Members |
Krishnendu Chatterjee, Ph.D. (IST Austria)
doc. RNDr. Pavel Matula, Ph.D. (Faculty of Informatics MU) prof. Ing. Michal Pěchouček, M.Sc., Dr. (FEL ČVUT v Praze) doc. Mgr. Adam Rogalewicz, Ph.D. (FIT VUT v Brně) |
| Board decision | Board Decision |
| Faculty scientific board session date | 26 Apr 2019 |