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

Photo not published

 

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
Thesislink 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)
Date and time of habilitation lecture8. 3. 2011
Faculty Scientific Board session25. 3. 2011
MU Scientific Board session
Current stateassociate professor appointment
Closing date1. 5. 2011