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

Completed procedures:
| Habilitation procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | Mgr. Radek Pelánek, Ph.D. |
| Affiliation of the Applicant | Faculty of Informatics |
| Specialization | Informatics |
| Thesis | Experimental Research in Explicit Model Checking |
| Starting date | 12. 10. 2010 |
| Habilitation Board | |
| chair | Prof. RNDr. Jozef Gruska, DrSc. (MU - Faculty of Informatics) |
| members | Prof. 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) |
| Reviewers | Prof. 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 lecture | 8. 3. 2011 |
| Faculty Scientific Board session | 25. 3. 2011 |
| MU Scientific Board session | |
| Current state | associate professor appointment |
| Closing date | 1. 5. 2011 |












Experimental Research in Explicit Model Checking