Qualifications

Finished procedures

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

You are running an old browser version. We recommend updating your browser to its latest version.

More info