prof. RNDr. Antonín Kučera, Ph.D.

department head – Institute for Theoretical Computer Science


office: C438
Botanická 554/68a
602 00 Brno

Show on the map

Qualifications

Finnished procedure

Habilitation procedures
Applicant's name at procedure initiation doc. RNDr. Antonín Kučera, Ph.D.
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 26 Jan 2000
Procedure conclusion date 1 Jul 2000
Habilitation thesis (publicly available part) Deciding Regular Properties in Simple Process Algebras
Habilitation thesis reviewers prof. RNDr. Milan Češka, CSc. ()
professor Javier Esparza ()
professor Colin Stirling ()
Public lecture 30 May 2000
habilitation board
Chair prof. RNDr. Jozef Gruska, DrSc. (FI MU)
Members prof. RNDr. Milan Češka, CSc. ()
prof. RNDr. Petr Hájek, DrSc. ()
prof. RNDr. Petr Jančar, CSc. ()
prof. RNDr. Jiří Wiedermann, DrSc. ()
Faculty scientific board session date 6 Jun 2000
Professorship procedures
Applicant's name at procedure initiation doc. RNDr. Antonín Kučera, Ph.D.
Applicant's workplace at procedure initiation Departments
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 27 Mar 2007
Evaluation board
Chair prof. RNDr. Jiří Rosický, DrSc. (MU - Faculty of Science)
Members prof. RNDr. Luboš Brim, CSc. (Departments)
prof. RNDr. Petr Hájek DrSc. (UIVT AV ČR Praha)
prof. RNDr. Jaroslav Nešetřil, DrSc. (MFF UK Praha)
doc. RNDr. Pavel Pudlák, DrSc. (MÚ AV ČR Praha)
Faculty scientific board session date 20 Apr 2007
Masaryk University Scientific Board session date 29 May 2007