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:
Program Committees:
Organizing Committees:
Memberships:
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 |
