Professor, Department of Computer Science
Office: C414
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 6941 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
| Habilitation procedures | |
|---|---|
| Applicant's name at procedure initiation | RNDr. Jan Strejček, 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 Apr 2012 |
| Procedure conclusion date | 1 Feb 2013 |
| Habilitation thesis (publicly available part) | From Infinite-State Systems to Translation of LTL to Automata |
| Habilitation thesis reviewers |
prof. RNDr. Petr Jančar, CSc.
()
Prof. Dr. J.C. van de Pol (University of Twente, The Netherlands) prof. Philippe Schnoebelen (CNRS & ENS Cachan, France) |
| Public lecture | 25 Sep 2012 |
| habilitation board | |
| Chair | prof. RNDr. Ivana Černá, CSc. () |
| Members |
prof. RNDr. Petr Jančar, CSc.
()
prof. Ing. František Plášil, DrSc. () prof. RNDr. Jan Slovák, DrSc. (MU - Faculty of Science) prof. Ing. Tomáš Vojnar, Ph.D. () |
| Faculty scientific board session date | 8 Nov 2012 |
| Professorship procedures | |
|---|---|
| Applicant's name at procedure initiation | doc. RNDr. Jan Strejček, Ph.D. |
| Applicant's workplace at procedure initiation | Faculty of Informatics |
| Procedure field | Informatics |
| Faculty implementing procedure | Faculty of Informatics |
| Procedure status | appointment to professor |
| Procedure initiation date | 8 Nov 2021 |
| Procedure conclusion date | 29 Nov 2022 |
| Public lecture | 15 Mar 2022 | Lecture Evaluation |
| Evaluation board | |
| Chair | prof. RNDr. Petr Hliněný, Ph.D. (Faculty of Informatics MU) |
| Members |
prof. RNDr. Radim Bělohlávek, DSc. (Palacký University Olomouc)
Prof. Dr. Armin Biere (University of Freiburg, Germany) prof. RNDr. Václav Matyáš, M.Sc., Ph.D. (Faculty of Informatics MU) Prof. Jiří Srba, Ph.D. (Aalborg University, Denmark) |
| Board decision | Board Decision |
| Faculty scientific board session date | 3 Jun 2022 |
| Masaryk University Scientific Board session date | 4 Oct 2022 |