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

Department head, Institute for Theoretical Computer Science

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

Show on the map

phone:	+420 549 49 4374
e‑mail:

social and academic networks:

Basic information

Finished procedures

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