Education:
| 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 |
MSc. in Informatics, Faculty of Informatics, Masaryk University, Brno, (field: Parallel and Distributed Systems) Thesis: Automata Based Model Checking |
Professional career:
| 09/2021- | 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- | 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:
- Eliška Foltasová, Ivana Jelínková, Jakub Večeřa
- Jiří Balun, defended 2023
List of co-authors:
Jiří Balun, Olivier Boutin, Erzsébet Csuhaj-Varjú, Wojtek Czerwiński, Jürgen Dassow, Filip Goldefus, Stefan Haar, Štěpán Holub, Michael Ibrahim, Galina Jirásková, Pia Kempker, Jan Komenda, Markus Krötzsch, Zbyněk Křivka, Aiwen Lai, Zhiwu Li, Liyong Lin, Yingying Liu, Wim Martens, Alexander Meduna, Shaowen Miao, Thomas Moor, Petr Osička, Nicola Pambakian, André C.M. Ran, Spyros Reveliotis, Laurie Ricker, Klaus Schmidt, Jan H. van Schuppen, Rong Su, Jiří Šimáček, Jiří Techet, Michaël Thomazo, György Vaszil, W. M. Wonham, Xiang Yin
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 |