Qualifications

Finished procedures

Habilitation procedures
Applicant's name at procedure initiation RNDr. Jan Strejček, Ph.D.
Applicant's workplace at procedure initiation Faculty of Informatics
Procedure field Informatics
Faculty implementing procedure Faculty of Informatics
Procedure status appointment to associate professor
Procedure initiation date 12 Apr 2012
Procedure conclusion date 1 Feb 2013
Habilitation thesis (publicly available part) From Infinite-State Systems to Translation of LTL to Automata
Habilitation thesis reviewers prof. RNDr. Petr Jančar, CSc. ()
Prof. Dr. J.C. van de Pol (University of Twente, The Netherlands)
prof. Philippe Schnoebelen (CNRS & ENS Cachan, France)
Public lecture 25 Sep 2012
habilitation board
Chair prof. RNDr. Ivana Černá, CSc. ()
Members prof. RNDr. Petr Jančar, CSc. ()
prof. Ing. František Plášil, DrSc. ()
prof. RNDr. Jan Slovák, DrSc. (MU - Faculty of Science)
prof. Ing. Tomáš Vojnar, Ph.D. ()
Faculty scientific board session date 8 Nov 2012

You are running an old browser version. We recommend updating your browser to its latest version.

More info