Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
Completed procedures:
| Habilitation procedures | |
|---|---|
| Masaryk University faculty carrying the appointment process | Faculty of Informatics |
| Name of the Applicant | RNDr. Jiří Barnat, Ph.D. |
| Affiliation of the Applicant | Faculty of Informatics |
| Specialization | Informatics |
| Thesis | Platform-Dependent Verification |
| Starting date | 4. 10. 2010 |
| Habilitation Board | |
| chair | Prof. RNDr. Václav Matyáš, M.Sc., Ph.D. (FI MU) |
| members | Assoc. Prof. RNDr. Petr Hliněný, Ph.D. (Departments) Assoc. Prof. RNDr. Dana Pardubská, Ph.D. (FMFI UK v Bratislavě) Prof. Ing. František Plášil, DrSc. (MFF UK v Praze) Prof. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně) |
| Reviewers | Prof. Ing. Tomáš Vojnar, Ph.D. (FIT VUT v Brně) Dr. Paul Leyland (CEPIA Technologies) Gerard J. Holzmann (JPL NASA) |
| Date and time of habilitation lecture | 11. 1. 2011 |
| Faculty Scientific Board session | 25. 3. 2011 |
| MU Scientific Board session | |
| Current state | associate professor appointment |
| Closing date | 1. 5. 2011 |











Platform-Dependent Verification