Education and qualification:
| 2025 |
Professor of Computer Science, Czech Technical University, Prague |
| 2021 |
Habilitation in Informatics, Masaryk University, Brno Thesis: Partially Ordered Automata - Expressivity, Complexity, and Applications |
| 2019 |
Research Professor, The Czech Academy of Sciences Thesis: Complexity of Verification and Control of Modular Discrete Event Systems |
| 2008 |
Rerum naturalium doctor, Faculty of Mathematics and Physics, Charles University in Prague Thesis: Regulated Formal Models and Their Reduction |
| 2007 |
Ph.D. in Information Technology, Faculty of Information Technology, Brno University of Technology Thesis: Formal Models: Regulation and Reduction |
| 2004 |
Mgr. in Informatics, Faculty of Informatics, Masaryk University, Brno, (field: Parallel and Distributed Systems) Thesis: Automata Based Model Checking |
Professional career:
| 03/2026- | Professor, Dept. of Computer Science, Faculty of Science, Palacky University, Olomouc |
| 09/2021-02/2026 | Associate Professor, Dept. of Computer Science, Faculty of Science, Palacky University, Olomouc |
| 09/2018-08/2021 | Assistant Professor, Dept. of Computer Science, Faculty of Science, Palacky University, Olomouc |
| 01/2013-06/2025 | Senior Researcher, Institute of Mathematics, The Czech Academy of Sciences |
| 03/2014-08/2017 | Researcher, International Center for Computational Logic, Faculty of Computer Science, TU Dresden |
| 11/2012-05/2013 | Researcher, Theoretical Computer Science Group, University of Bayreuth, Bayreuth, Germany |
| 07/2010-06/2011 | Researcher, CWI - Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (DISC project) |
| 12/2009-12/2012 | Post-doc, Institute of Mathematics, The Czech Academy of Sciences, Brno, Czechia (DISC project) |
| 01/2007-12/2009 | Researcher, Faculty of Information Technology, Brno University of Technology (former pages) |
| 09/2005-10/2007 | PhD Student, Faculty of Information Technology, Brno University of Technology |
| 09/2004-08/2005 | Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague |
| 09/2003-01/2004 | Faculty of Informatics, Masaryk University, Brno, Czechia |
Awards:
| 2021 | JDEDS Editor's Choice Papers 2021 |
| 2011 | Otto Wichterle Award for young researchers |
Memberships:
| 2024- | IEEE Senior Member |
| 2006-2009 | Formal Models Research Group |
| 2005-2006 | Union of Czech Mathematicians and Physicists |
PhD students and postdocs:
- Yifan Dong, postdoc, supported by MSCA CZ
- Adéla Laštovičková, phd student
- Eliška Foltasová, phd student
- Jakub Večeřa, phd student
- Jiří Balun, defended 2023
Short Stays:
| 05/2017 | Universität Stuttgart |
| 05/2016 | Justus-Liebig-Universität Gießen |
| 10/2013 | EECS, The University of Michigan, Ann Arbor, Michigan, USA (visits in College of Engineering, Wayne State University, Detroit & Purdue School of Engineering and Technology, IUPUI, Indianapolis) |
| 06/2012 | ETH Zurich, Switzerland |
| 02/2012 | Theoretical Computer Science Group, University of Bayreuth, Germany |
| 06/2011 | DISC School on Control of Discrete-Event Systems: Automata and Petri nets perspectives, University of Cagliari, Italy |
| 04/2011 | IST Austria, Klosterneuburg |
| 07/2009 | Theory and Logic Group, TU Wien |
| 11/2008, 04/2010, 11/2011 |
Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest |
| 10/2008 | Mathematical Institute, Slovak Academy of Sciences, Košice |
| 11/2006 | Department of Computer Science, University of Valladolid, Valladolid, Spain |
| 05/2005-06/2005 | Department of Mathematics, Szent István University, Ybl Miklós Technical College, Budapest |
| 09/2004-08/2005 | Department of Mathematics, Faculty of Eletrical Ingeneering, Czech Technical University in Prague |