Prof. RNDr. Antonín Kučera, Ph.D.
Completed procedures:
| Professorship procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | doc. RNDr. Antonín Kučera, Ph.D. |
| Affiliation of the Applicant | Departments |
| Specialization | Informatics |
| Starting date | 11. 1. 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) |
| Date and time of presentation | 27. 3. 2007 at 14:00 |
| 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. Antonín Kučera, Ph.D. |
| Affiliation of the Applicant | MU Brno, Faculty of Informatics |
| Specialization | Informatics |
| Thesis | Deciding Regular Properties in Simple Process Algebras |
| Starting date | 26. 1. 2000 |
| Habilitation Board | |
| chair | Prof. RNDr. Jozef Gruska, DrSc. (MU - Faculty of Informatics) |
| members | prof. RNDr. Milan Češka, CSc. (FEI VUT Brno) prof. RNDr. Petr Hájek, DrSc. (ÚI AV ČR Praha) Prof. RNDr. Petr Jančar, CSc. Prof. RNDr. Jiří Wiedermann, DrSc. |
| Reviewers | prof. RNDr. Milan Češka, CSc. (ÚIVT FEI VUT Brno) professor Javier Esparza (Technická univerzita Mnichov) professor Colin Stirling (Univerzita v Edinburgu) |
| Date and time of habilitation lecture | 30. 5. 2000 at 14:00 |
| Faculty Scientific Board session | 6. 6. 2000 |
| MU Scientific Board session | |
| Current state | associate professor appointment |
| Closing date | 1. 7. 2000 |
