doc. RNDr. Vojtěch Řehák, Ph.D.


office: C436
Botanická 554/68a
602 00 Brno

Show on the map

phone: +420 549 49 4687
e‑mail:
Qualifications

Finnished procedure

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's position Board'S Position
Faculty scientific board session date 26 Apr 2019