doc. Mgr. Radek Pelánek, Ph.D.
kancelář: C504
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 6991 |
|---|---|
| e‑mail: |
|
Kvalifikace
Ukončená řízení
| Habilitační řízení | |
|---|---|
| Jméno uchazeče v době konání řízení | Mgr. Radek Pelánek, 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í | 12. 10. 2010 |
| Datum ukončení řízení | 1. 5. 2011 |
| Habilitační práce (veřejná část) | Experimental Research in Explicit Model Checking |
| Oponenti habilitační práce |
prof. Ing. Tomáš Vojnar, Ph.D.
(FIT VUT v Brně)
Kim G. Larsen (Aalborg University) Salvatore La Torre (University of Salerno) |
| Přednáška pro odbornou veřejnost | 8. 3. 2011 |
| Složení habilitační komise | |
| Předseda | prof. RNDr. Jozef Gruska, DrSc. (FI MU) |
| Členové |
prof. Ing. Mária Bieliková, Ph.D. (FIIT STU v Bratislavě)
prof. RNDr. Milan Češka, CSc. (FIT VUT v Brně) prof. RNDr. Mojmír Křetínský, CSc. (FI MU) prof. Ing. Petr Tůma, Dr. (MFF UK v Praze) |
| Datum zasedání vědecké rady fakulty | 25. 3. 2011 |