Doctoral Study Graduate in 1997
Mgr. Antonín Kučera
| Field of Study | Mathematical Computer Science |
|---|---|
| Doctoral Thesis | Decidability Issues for Processes with Infinitely many States |
| Supervisor | doc. RNDr. Mojmír Křetínský, CSc. |
| Committee Members | prof. RNDr. Miroslav Novotný, DrSc.,
FI MU Brno (Chairman)
doc. RNDr. Luboš Brim, CSc., FI MU Brno doc. RNDr. Petr Jančar, CSc., VŠB Ostrava doc. Ing. Milan Češka, CSc., FEI VUT Brno doc. RNDr. Mojmír Křetínský, CSc. |
| Reviewers | prof. Javier Esparza, TU Mnichov,
SRN
doc. RNDr. Petr Jančar, CSc., VŠB Ostrava |