docent – Katedra teorie programování
kancelář: C412
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 4499 |
|---|---|
| e‑mail: | petr.novotny@fi.muni.cz |
| sociální a akademické sítě: |
|---|
| Habilitační řízení | |
|---|---|
| Jméno uchazeče v době konání řízení | RNDr. Petr Novotný, Ph.D. |
| Pracoviště uchazeče v době konání řízení | Fakulta informatiky |
| Obor řízení | Informatika |
| Fakulta zajišťující řízení | Fakulta informatiky |
| Stav řízení | jmenování docentem |
| Datum zahájení řízení | 7. 11. 2022 |
| Datum ukončení řízení | 1. 7. 2023 |
| Habilitační práce (veřejná část) |
Code and Design Safety of Probabilistic Systems
Důvod pro omezení zveřejnění práce:
Copyrights for these papers were transferred to the publishers
|
| Oponenti habilitační práce |
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) |
| Posudky oponentů | Posudek 1 | Posudek 2 | Posudek 3 |
| Přednáška pro odbornou veřejnost | 11. 4. 2023 | Hodnocení přednášky |
| Složení habilitační komise | |
| Předseda | prof. RNDr. Petr Hliněný, Ph.D. (Fakulta informatiky MU) |
| Členové |
Prof. Javier Esparza (Technical University of Munich, Germany)
prof. RNDr. Petr Jančar, CSc. (UP v Olomouci) prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. (Fakulta informatiky MU) doc. Mgr. Adam Rogalewicz, Ph.D. (FIT VUT v Brně) |
| Stanovisko komise | Stanovisko komise |
| Datum zasedání vědecké rady fakulty | 19. 5. 2023 |