Prof. RNDr. Ivana Černá, CSc.
Completed procedures:
| Professorship procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | doc. RNDr. Ivana Černá, CSc. |
| Affiliation of the Applicant | Research Centres |
| Specialization | Informatics |
| Starting date | 11. 1. 2007 |
| Evaluation Board | |
| chair | |
| members | |
| Date and time of presentation | 2. 4. 2007 |
| Faculty Scientific Board session | 20. 4. 2007 |
| MU Scientific Board session | 29. 5. 2007 |
| Current state | professor appointment |
| Closing date | 5. 11. 2007 |
| Habilitation procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | doc. RNDr. Ivana Černá, CSc. |
| Affiliation of the Applicant | MU Brno, Faculty of Informatics |
| Specialization | Informatics |
| Thesis | Model Checking: Approaches to the State Explosion problem |
| Starting date | 17. 12. 2002 |
| Habilitation Board | |
| chair | Prof. RNDr. Jozef Gruska, DrSc. (MU - Faculty of Informatics) |
| members | 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. (MU - Faculty of Informatics) |
| Reviewers | Prof. RNDr. Petr Jančar, CSc. (VŠB - TU Ostrava) prof. Faron Moller (University of Wales, UK) Dr. Richard Mayr (Freiburg University, Germany) |
| Date and time of habilitation lecture | 13. 5. 2003 at 12:00 |
| Faculty Scientific Board session | 27. 5. 2003 |
| MU Scientific Board session | |
| Current state | associate professor appointment |
| Closing date | 1. 7. 2003 |
