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

Photo not published

 

Completed procedures:

Habilitation procedures
Masaryk University faculty carrying the appointment processFaculty of Informatics
Name of the ApplicantRNDr. Jan Strejček, Ph.D.
Affiliation of the ApplicantFaculty of Informatics
SpecializationInformatics
Thesislink to a new windowFrom infinite-state systems to translation of LTL to automata
Starting date12. 4. 2012
Habilitation Board
chairProf. RNDr. Ivana Černá, CSc. (FI MU)
membersProf. 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ě)
ReviewersProf. 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 lecture25. 9. 2012 at 14:00
Faculty Scientific Board session8. 11. 2012
MU Scientific Board session
Current stateassociate professor appointment
Closing date1. 2. 2013