Prof. RNDr. Ivana Černá, CSc.

Personal photo

 

Completed procedures:

Professorship procedures
Masaryk University faculty carrying the appointment processFaculty of Informatics
Name of the Applicantdoc. RNDr. Ivana Černá, CSc.
Affiliation of the ApplicantResearch Centres
SpecializationInformatics
Starting date11. 1. 2007
Evaluation Board
Chair
Members
Date and time of presentation2. 4. 2007
Faculty Scientific Board session20. 4. 2007
MU Scientific Board session29. 5. 2007
Current stateprofessor appointment
Closing date5. 11. 2007
Habilitation procedures
Masaryk University faculty carrying the appointment processFaculty of Informatics
Name of the Applicantdoc. RNDr. Ivana Černá, CSc.
Affiliation of the ApplicantMU Brno, Faculty of Informatics
SpecializationInformatics
ThesisModel Checking: Approaches to the State Explosion problem
Starting date17. 12. 2002
Habilitation Board
ChairProf. RNDr. Jozef Gruska, DrSc. (MU - Faculty of Informatics)
MembersProf. 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)
ReviewersProf. 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 lecture13. 5. 2003 at 12:00
Faculty Scientific Board session27. 5. 2003
MU Scientific Board session
Current stateassociate professor appointment
Closing date1. 7. 2003