Finished procedures

Habilitation procedures
Applicant's name at procedure initiation Mgr. Radek Pelánek, 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 Oct 2010
Procedure conclusion date 1 May 2011
Habilitation thesis (publicly available part) Experimental Research in Explicit Model Checking
Habilitation thesis reviewers prof. Ing. Tomáš Vojnar, Ph.D. ()
Kim G. Larsen (Aalborg University)
Salvatore La Torre (University of Salerno)
Public lecture 8 Mar 2011
habilitation board
Chair prof. RNDr. Jozef Gruska, DrSc. (FI MU)
Members prof. Ing. Mária Bieliková, Ph.D. ()
prof. RNDr. Milan Češka, CSc. ()
prof. RNDr. Mojmír Křetínský, CSc. (FI MU)
prof. Ing. Petr Tůma, Dr. ()
Faculty scientific board session date 25 Mar 2011

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

More info