vedoucí katedry – Katedra teorie programování
kancelář: A410
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 3890 |
|---|---|
| e‑mail: |
|
| www: | http://www.fi.muni.cz/usr/cerna/ |
| sociální a akademické sítě: |
|---|
| Habilitační řízení | |
|---|---|
| Jméno uchazeče v době konání řízení | doc. RNDr. Ivana Černá, CSc. |
| Pracoviště uchazeče v době konání řízení | MU Brno, Fakulta informatiky |
| Obor řízení | Informatika |
| Fakulta zajišťující řízení | Fakulta informatiky |
| Stav řízení | jmenování docentem |
| Datum zahájení řízení | 17. 12. 2002 |
| Datum ukončení řízení | 1. 7. 2003 |
| Habilitační práce (veřejná část) | Model Checking: Approaches to the State Explosion problem |
| Oponenti habilitační práce |
prof. RNDr. Petr Jančar, CSc.
(VŠB - TU Ostrava)
prof. Faron Moller (University of Wales, UK) Dr. Richard Mayr (Freiburg University, Germany) |
| Přednáška pro odbornou veřejnost | 13. 5. 2003 |
| Složení habilitační komise | |
| Předseda | prof. RNDr. Jozef Gruska, DrSc. (FI MU) |
| Členové |
prof. RNDr. Milan Češka, CSc. (FIT VUT Brno)
prof. RNDr. Pavel Pudlák DrSc. (MÚ AV ČR Praha) prof. RNDr. Petr Jančar, CSc. (VŠB - TU Ostrava) prof. RNDr. Mojmír Křetínský, CSc. (FI MU) |
| Datum zasedání vědecké rady fakulty | 27. 5. 2003 |
| Řízení ke jmenování profesorem | |
|---|---|
| Jméno uchazeče v době konání řízení | doc. RNDr. Ivana Černá, CSc. |
| Pracoviště uchazeče v době konání řízení | Výzkumná centra |
| Obor řízení | Informatika |
| Fakulta zajišťující řízení | Fakulta informatiky |
| Stav řízení | jmenování profesorem |
| Datum zahájení řízení | 11. 1. 2007 |
| Datum ukončení řízení | 5. 11. 2007 |
| Přednáška pro odbornou veřejnost | 2. 4. 2007 |
| Složení komise | |
| Předseda | prof. Ing. František Plášil, DrSc. (MFF UK Praha) |
| Členové |
prof. RNDr. Milan Češka, CSc. (FIT VUT Brno)
prof. RNDr. Mojmír Křetínský, CSc. (FI MU) prof. Ing. Václav Přenosil, CSc. (FI MU) prof. RNDr. Jiří Wiedermann, DrSc. (ÚI AV ČR Praha) |
| Datum zasedání vědecké rady fakulty | 20. 4. 2007 |
| Datum zasedání vědecké rady Masarykovy univerzity | 29. 5. 2007 |