doc. RNDr. Petr Novotný, Ph.D.

docent – Katedra teorie programování


kancelář: C412
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

telefon: 549 49 4499
e‑mail:
sociální a akademické sítě:
Kvalifikace

Ukončená řízení

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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info