Assoc. Prof. Mgr. Radek Pelánek, Ph.D.

Personal photo

 

Completed procedures:

Habilitation procedures
Masaryk University faculty carrying the appointment processFaculty of Informatics
Name of the ApplicantMgr. Radek Pelánek, Ph.D.
Affiliation of the ApplicantFaculty of Informatics
SpecializationInformatics
Habilitation thesis (public part)link to a new windowExperimental Research in Explicit Model Checking
Starting date12. 10. 2010
Habilitation Board
ChairProf. RNDr. Jozef Gruska, DrSc. (MU - Faculty of Informatics)
MembersProf. Ing. Mária Bieliková, Ph.D. (FIIT STU v Bratislavě)
Prof. RNDr. Milan Češka, CSc. (FIT VUT v Brně)
Prof. RNDr. Mojmír Křetínský, CSc. (MU - Faculty of Informatics)
Assoc. Prof. Ing. Petr Tůma, Dr. (MFF UK v Praze)
ReviewersProf. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně)
Kim G. Larsen (Aalborg University)
Salvatore La Torre (University of Salerno)
Public lecture time and date8. 3. 2011
Faculty Scientific Board session25. 3. 2011
MU Scientific Board session
Current stateassociate professor appointment
Closing date1. 5. 2011