Education:
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/2018- |
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:
| 2011 |
Otto Wichterle Award for young researchers |
Editorial Boards:
Program Committees:
| 2021 |
ECC 2021
-- European Control Conference |
| DLT 2021
-- Developments in Language Theory |
| 2020 |
ECC 2020
-- European Control Conference |
| 2019 |
SOFSEM 2019
-- International Conference on Current Trends in Theory and Practice of Computer Science |
| ECC 2019
-- European Control Conference |
| DCFS 2019
-- International Conference on Descriptional Complexity of Formal Systems
|
| 2017 |
DCFS 2017
-- Descriptional Complexity of Formal Systems |
| NCMA 2017
-- Non-Classical Models of Automata and Applications |
| 2015 |
OrdRing 2015
-- 4th International Workshop on Ordering and Reasoning |
| 2014 |
OrdRing 2014
-- 3rd International Workshop on Ordering and Reasoning |
| ETFA 2014
-- 19th IEEE International Conference on Emerging Technologies and Factory Automation |
| 2011 |
DCFS 2011
-- 13th International Workshop on Descriptional Complexity of Formal Systems |
Organizing Committees:
| 2006 |
MEMICS 2006
-- 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
Memberships:
List of co-authors:
Olivier Boutin,
Erzsébet Csuhaj-Varjú,
Wojtek Czerwiński,
Jürgen Dassow,
Filip Goldefus,
Stefan Haar,
Štěpán Holub,
Galina Jirásková,
Pia Kempker,
Jan Komenda,
Markus Krötzsch,
Zbyněk Křivka,
Wim Martens,
Alexander Meduna,
Thomas Moor,
Nicola Pambakian,
André C.M. Ran,
Spyros Reveliotis,
Laurie Ricker,
Klaus Schmidt,
Jan H. van Schuppen,
Jiří Šimáček,
Jiří Techet,
Michaël Thomazo,
György Vaszil,
Xiang Yin
Short Stays: (usually one week)
| 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 |