Assistant professor, Department of Computer Science
Office: C412
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4499 |
|---|
| social and academic networks: |
|---|
| Habilitation procedures | |
|---|---|
| Applicant's name at procedure initiation | Petr Novotný, Ph.D. |
| Applicant's workplace at procedure initiation | Faculty of Informatics |
| Procedure field | Informatics |
| Faculty implementing procedure | Faculty of Informatics |
| Procedure status | ongoing procedure |
| Procedure initiation date | 7 Nov 2022 |
| Habilitation thesis (publicly available part) |
Code and Design Safety of Probabilistic Systems
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. Alessandro Abate (University of Oxford, UK)
Univ.-Prof. Roderick Bloem, Ph.D. (Graz University of Technology, Austria) Assoc. Prof. Dr. Nils Jansen (Radboud University Nijmegen) |
| Reviewers' thesis reports | Report 1 | Report 2 | Report 3 |
| Public lecture | 11 Apr 2023 | Lecture Evaluation |
| habilitation board | |
| Chair | prof. RNDr. Petr Hliněný, Ph.D. (Faculty of Informatics MU) |
| Members |
Prof. Javier Esparza (Technical University of Munich, Germany)
prof. RNDr. Petr Jančar, CSc. (Palacký University Olomouc) prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. (Faculty of Informatics MU) doc. Mgr. Adam Rogalewicz, Ph.D. (FIT VUT v Brně) |
| Board decision | Board Decision |
| Faculty scientific board session date | 19 May 2023 |