Department head, Department of Computer Science
office: A410
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 3890 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
| Habilitation procedures | |
|---|---|
| Applicant's name at procedure initiation | doc. RNDr. Ivana Černá, CSc. |
| Applicant's workplace at procedure initiation | MU Brno, Faculty of Informatics |
| Procedure field | Informatics |
| Faculty implementing procedure | Faculty of Informatics |
| Procedure status | appointment to associate professor |
| Procedure initiation date | 17 Dec 2002 |
| Procedure conclusion date | 1 Jul 2003 |
| Habilitation thesis (publicly available part) | Model Checking: Approaches to the State Explosion problem |
| Habilitation thesis reviewers |
prof. RNDr. Petr Jančar, CSc.
()
prof. Faron Moller (University of Wales, UK) Dr. Richard Mayr (Freiburg University, Germany) |
| Public lecture | 13 May 2003 |
| habilitation board | |
| Chair | prof. RNDr. Jozef Gruska, DrSc. (FI MU) |
| Members |
prof. RNDr. Milan Češka, CSc. (FIT VUT Brno)
prof. RNDr. Pavel Pudlák DrSc. () prof. RNDr. Petr Jančar, CSc. () prof. RNDr. Mojmír Křetínský, CSc. (FI MU) |
| Faculty scientific board session date | 27 May 2003 |
| Professorship procedures | |
|---|---|
| Applicant's name at procedure initiation | doc. RNDr. Ivana Černá, CSc. |
| Applicant's workplace at procedure initiation | Research Centres |
| Procedure field | Informatics |
| Faculty implementing procedure | Faculty of Informatics |
| Procedure status | appointment to professor |
| Procedure initiation date | 11 Jan 2007 |
| Procedure conclusion date | 5 Nov 2007 |
| Public lecture | 2 Apr 2007 |
| Evaluation board | |
| Chair | prof. Ing. František Plášil, DrSc. () |
| Members |
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. () prof. RNDr. Jiří Wiedermann, DrSc. () |
| Faculty scientific board session date | 20 Apr 2007 |
| Masaryk University Scientific Board session date | 29 May 2007 |