Education:

2008
 
RNDr. (rerum naturalium doctor) in Computer Science, Faculty of Mathematics and Physics, Charles University in Prague
Thesis: Regulated Formal Models and Their Reduction
2007
 
Ph.D. in Computer Science, Faculty of Information Technology, Brno University of Technology
Thesis: Formal Models: Regulation and Reduction
2004
 
MSc. in Computer Science, Faculty of Informatics, Masaryk University, Brno, specialization Parallel and Distributed Systems
Thesis: Automata Based Model Checking

Professional career:

01/2013- Researcher, Institute of Mathematics, Academy of Sciences of the Czech Republic, Brno, Czech Republic
11/2012-05/2013 Post-doc, Theoretical Computer Science Group, University of Bayreuth, Bayreuth, Germany
07/2010-06/2011 Post-doc, CWI - Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (DISC project)
12/2009-12/2012 Post-doc, Institute of Mathematics, Academy of Sciences of the Czech Republic, Brno, Czech Republic (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, Czech Republic

Awards:

2011 Otto Wichterle Award for young researches

Editorial Boards:

2009- International Journal of Computational Mathematics, member of the editorial board
2013- Kybernetika, member of the editorial board

Program Committees:

2014 ETFA 2014, member of the program committee
2011 DCFS 2011

Organizing Committees:

2006 MEMICS 2006, member of the organizing committee

Memberships:

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

List of co-authors and co-workers:

Olivier Boutin, Erzsébet Csuhaj-Varjú, Wojtek Czerwiński, Jürgen Dassow, Filip Goldefus, Stefan Haar, Galina Jirásková, Pia Kempker, Jan Komenda, Zbyněk Křivka, Wim Martens, Alexander Meduna, Thomas Moor, Nicola Pambakian, André C.M. Ran, Laurie Ricker, Klaus Schmidt, Jan H. van Schuppen, Jiří Šimáček, Jiří Techet, György Vaszil

Short Stays: (usually one week)

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