Education:

2008 RNDr. (rerum naturalium doctor) in Computer Science, Faculty of Mathematics and Physics, Charles University in Prague
2007 Ph.D. in Computer Science, Faculty of Information Technology, Brno University of Technology
2004 MSc. in Computer Science, Faculty of Informatics, Masaryk University, Brno, specialization Parallel and Distributed Systems

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 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