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:

12/2009- Post-doc, Institute of Mathematics, Czech Academy of Sciences, Brno, Czech Republic (project DISC)
07/2010-06/2011 Post-doc, CWI - Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (project DISC)
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

Short Stays:

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

Editorial Boards:

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

Program Committees:

2011 DCFS 2011, member of the program committee

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