Associate professor, Department of Machine Learning and Data Processing
office: S206
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 6991 |
|---|---|
| e‑mail: | 4297@mail.muni.cz |
| social and academic networks: |
|---|
| 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 |