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:

2010 IEEE Computer Society
2006-2009 Formal Models Research Group
2005-2006 Union of Czech Mathematicians and Physicists

PhD students:

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, Zhiwu Li, Liyong Lin, Yingying Liu, Wim Martens, Alexander Meduna, 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, 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