Assoc. Prof. RNDr. Jan Strejček, Ph.D.

Completed procedures:
| Habilitation procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | RNDr. Jan Strejček, Ph.D. |
| Affiliation of the Applicant | Faculty of Informatics |
| Specialization | Informatics |
| Thesis | From infinite-state systems to translation of LTL to automata |
| Starting date | 12. 4. 2012 |
| Habilitation Board | |
| chair | Prof. RNDr. Ivana Černá, CSc. (FI MU) |
| members | Prof. RNDr. Petr Jančar, CSc. (VŠB - TU Ostrava) Prof. Ing. František Plášil, DrSc. (MFF UK v Praze) Prof. RNDr. Jan Slovák, DrSc. (MU - Faculty of Science) Prof. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně) |
| Reviewers | Prof. RNDr. Petr Jančar, CSc. (VŠB - TU Ostrava) Prof. Dr. J.C. van de Pol (University of Twente, The Netherlands) Prof. Philippe Schnoebelen (CNRS & ENS Cachan, France) |
| Date and time of habilitation lecture | 25. 9. 2012 at 14:00 |
| Faculty Scientific Board session | 8. 11. 2012 |
| MU Scientific Board session | |
| Current state | associate professor appointment |
| Closing date | 1. 2. 2013 |












From infinite-state systems to translation of LTL to automata