doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.


e‑mail:
Kvalifikace

Ukončená řízení

Habilitační řízení
Jméno uchazeče v době konání řízení Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Pracoviště uchazeče v době konání řízení Technical University of Munich, Germany
Obor řízení Informatika
Fakulta zajišťující řízení Fakulta informatiky
Stav řízení jmenování docentem
Datum zahájení řízení 15. 11. 2018
Datum ukončení řízení 1. 7. 2019
Habilitační práce (veřejná část) Modern Probabilistic Verification
Oponenti habilitační práce Prof. Orna Kupferman (Hebrew University, Israel)
Prof. Slawomír Lasota (University of Warsaw, Poland)
Dr. Richard Mayr (University of Edinburgh, UK)
Posudky oponentů Posudek 1 | Posudek 2 | Posudek 3
Přednáška pro odbornou veřejnost 16. 4. 2019 | Hodnocení Přednášky
Složení habilitační komise
Předseda prof. RNDr. Daniel Kráľ, Ph.D., DSc. (Fakulta informatiky MU)
Členové prof. RNDr. Jiří Barnat, Ph.D. (Fakulta informatiky MU)
prof. RNDr. Petr Jančar, CSc. (UP v Olomouci)
prof. Mgr. Michal Koucký, Ph.D. (IÚ MFF UK v Praze)
prof. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně)
Stanovisko komise Stanovisko Komise
Datum zasedání vědecké rady fakulty 26. 4. 2019

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

Další info