Date & Place of Birth: February 14, 1971, Znojmo, Czechoslovakia

Family Status: Married, two children

Languages: Czech (native), English, German

2007: Full Professor of Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic.

2000: Associate Professor of Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic.

1997: PhD in Computer Science, Faculty of Informatics, Masaryk University, Brno, Czech Republic.

1994: Mgr (master's degree) in Computer Science, Faculty of Science, Masaryk University, Brno, Czech Republic.

2007 - now: Full Professor, Institute for Theoretical Computer Science, Faculty of Informatics, Masaryk University.

2005 - 2007: Associate Professor, Institute for Theoretical Computer Science, Faculty of Informatics, Masaryk University.

2000 - 2005: Associate Professor, Dept. of Computer Science, Faculty of Informatics, Masaryk University.

1997 - 2000: Professor Assistant, Dept. of Computer Science, Faculty of Informatics, Masaryk University.

1995 - 1997: Assistant, Dept. of Computer Science, Faculty of Informatics, Masaryk University.

2012 - now: Vice President of EATCS.

2012: Presburger Award Committee Member.

2012: 2012 Computer Sciences Prize Joseph Fourier Committee Member.

2011: Presburger Award Committee Member.

2011 - now: IFIP WG 2.2 Member.

2010 - now: Editorial Board Member, Fundamenta Informaticae.

2010 - now: Scientific Board Member, Faculty of Electrical Engineering and Computer Science, Technical University of Ostrava, Ostrava.

2009 - now: A member of EATCS Council.

2009 - now: A member of panel 202 (Computer Science), Czech Science Foundation.

2005 - now: Scientific Board Member, Faculty of Mathematics and Physics, Charles Univeristy, Prague.

2004 - now: Scientific Board Member, Faculty of Informatics, Masaryk University, Brno.

2011 - now: Vice-Dean for Research, Development, and Doctoral Studies, Faculty of Informatics, Masaryk University, Brno.

2007 - 2011: Vice-Dean for Research and Development, Faculty of Informatics, Masaryk University, Brno.

1998: Talent'97 award, Czech Ministry of Education.

1997: The annual rector's prize, Masaryk University.

1994: The annual dean's prize, Faculty of Science, Masaryk University.

• Playing Games with Counter Automata.
  6th International workshop on Reachability Problems (RP 2012). Bordeaux, France, September 2012.
• Stochastic pushdown games.
  Games-EPIT Spring School 2011 (GAMES-EPIT 2011). Carcans-Maubuisson, France, May 2011.
• Stochastic games with time.
  2nd Workshop on Games for Design, Verification and Synthesis (Gasics 2010). Paris, France, September 2010.
• Stochastic Games (in Formal Verification).
  10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (SFM-10:QAPL). Bertinoro, Italy, June 2010.
• Stochastic Games with an Infinite Arena.
  Computer Science Symposium "Reactive Modeling in Science and Engineering". IST, Klosterneuburg, Austria, May 2010.
• Effective Analysis of Infinite-State Stochastic Processes and Games.
  Summer School Marktoberdorf 2009 devoted to "Logics and Languages for Reliability and Security" (Marktoberdorf 2009). Marktoberdorf, Germany, August 2009.
• Turn-based stochastic games with finitely and infinitely many states.
  Games 2009 Spring School (GAMES 2009). Bertinoro, Italy, May 2009.
• Verification of Infinite State Probabilistic Systems.
  8th School on MOdelling and VErifying of parallel Processes (MOVEP 2008). Orleans, France, June 2008.
• PCTL Formulae as a Winning Objective in Stochastic Games.
  Second International Workshop on Probabilistic Automata and Logic (PAuL 2007). Wroclaw, Poland, July 2007.
• Methods for Quantitative Analysis of Probabilistic Pushdown Automata.
  7th International Workshop on Verification of Infinite-State Systems (Infinity 2005). San Francisco, California, USA, August 2005.
• Equivalence-Checking with Infinite-State Systems: Techniques and Results.
  29th Seminar on Current Trends in Theory and Practice of Informatics (Sofsem 2002). Milovy, Czech Republic, November 2002.

• MFCS, Mathematical Foundations of Computer Science (chair).
• Sofsem, International Conference on Current Trends in Theory and Practice of Computer Science.
• Infinity, International Workshop on Verification of Infinite-State Systems (chair).
• MEMICS, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science.

• ICALP 2013. 40th International Colloquium on Automata, Language and Programming. July 8-12, 2013, Riga, Latvia.
• STACS 2013. 30th International Symposium on Theoretical Aspects of Computer Science. February 27 - March 2, 2013, Kiel, Germany.
• CSL 2012. 21th EACSL Annual Conferences on Computer Science Logic. September 3-6, 2012, Fontainebleau, France.
• AISS 2012. Algorithmics on Infinite State Systems. June 29, 2012, Dubrovnik, Croatia.
• IWIGP 2012. International Workshop on Interactions, Games, adn Protocols. 2012, Tallin, Estonia.
• RP 2011. 5th Workshop on Reachability Problems. September 28-30, 2011, Genova, Italy.
• QEST 2011. 8th International Conference on Quantitative Evaluation of SysTems. September 5-8, 2011, Aachen, Germany.
• IWIGP 2011. International Workshop on Interactions, Games and Protocols. March 27, 2011, Saarbrücken, Germany.
• CONCUR 2011. 22nd International Conference on Concurrency Theory. September 6-9, 2011, Aachen, Germany.
• MEMICS 2010. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. October 22-24, 2010, Mikulov, Czech Republic.
• GandALF 2010. First International Symposium on Games, Automata, Logics and Formal Verification. June 17-18, 2010, Minori, (Amalfi coast), Italy.
• MFCS 2010 (co-chair). 35th International Symposium on Mathematical Foundations of Computer Science. August 23-27, 2010, Brno, Czech Republic.
• RP 2010 (co-chair). 4th Workshop on Reachability Problems. August 27-29, 2010, Brno, Czech Republic.
• TAMC 2010. 7th Annual Conference on Theory and Applications of Models of Computation. June 7-11, 2010, Prague, Czech Republic.
• ACSD 2010. 10th International Conference on Application of Concurrency in System Design. June 21-25, 2010, Braga, Portugal.
• QFM'09. Quantitative Formal Methods: Theory and Applications. November 3, 2009, Eindhoven, The Netherlands.
• MEMICS 2009. 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. November 13-15, 2009, Znojmo, Czech Republic.
• STTI 2009. Současné trendy teoretické informatiky (Current trends in theoretical computer science). June 7-8, 2009, Prague, Czech Republic.
• MFCS 2009. 34th International Symposium on Mathematical Foundations of Computer Science. August 24-28, 2009, Nový Smokovec, Slovakia.
• FCT 2009. 17th International Symposium on Fundamentals of Computation Theory. September 2-4, 2009, Wroclaw, Poland.
• ACSD 2009. 9th International Conference on Application of Concurrency in System Design. July 1-3, 2009. Augsburg, Germany.
• CSL 2009. 18th EACSL Annual Conference on Computer Science Logic. September 7-11, 2009. Coimbra, Portugal.
• Sofsem 2009 (track chair). 35th International Conference on Current Trends in Theory and Practice of Computer Science. January 24-30, 2009. Hotel Arnika, Špindlerův mlýn, Czech Republic.
• MEMICS 2008. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. November 14-16, 2008, Znojmo, Czech Republic.
• PAuL 2008. 3rd International Workshop on Probabilistic Automata and Logics. July 6, 2008, Reykjavik, Iceland.
• ACSD 2008. 8th International Conference on Application of Concurrency in System Design. June 2008, Xi'an, China.
• MEMICS 2007. 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. October 26-28, 2007, Znojmo, Czech Republic.
• STTI 2007. Současné trendy teoretické informatiky (Current trends in theoretical computer science). June 1-2, 2007, Prague, Czech Republic.
• MFCS 2007 (co-chair). 32nd International Symposium on Mathematical Foundations of Computer Sciencea. August 2007, Český Krumlov, Czech Republic.
• ACSD 2007. 7th International Conference on Application of Concurrency in System Design. July 2007, Bratislava, Slovak Republic.
• Concur 2007. 18th International Conference on Concurrency Theory. September 3-8, 2007, Lisboa, Portugal.
• MEMICS 2006. 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. October 27-29, 2006, Mikulov, Czech Republic.
• Sixth Czech-Slovak International Symposium on Combinatorics, Graph Theory, Algorithms and Applications. July 10-15, 2006, Prague, Czech Republic.
• Express 2006. 13th International Workshop on Expressiveness in Concurrency. 26 August, 2006, Bonn, Germany.
• Concur 2006. 17th International Conference on Concurrency Theory. August 27-30, 2006, Bonn, Germany.
• TIME 2006. 13th International Symposium on Temporal Representation and Reasoning. June 15-17, 2006, Budapest, Hungary.
• FOSSACS 2006. Foundations of Software Science and Computation Structures. March 25 - April 2, 2006, Vienna, Austria.
• MEMICS 2005. 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science October 14-17, 2005, Znojmo, Czech Republic.
• AVoCS 2005. Fifth International Workshop on Automated Verification of Critical Systems. September 12-13, 2005, Warwick, UK.
• STTI 2005. Současné trendy teoretické informatiky (Current trends in theoretical computer science). May 13-14, 2005, Prague, Czech Republic.
• Concur 2005. 16th International Conference on Concurrency Theory. August 2005, San Francisco, USA.
• MFCS 2004. 29th International Symposium on Mathematical Foundations of Computer Science, August 2004, Prague, Czech Republic.
• Infinity 2004. 6th International Workshop on Verification of Infinite-State Systems. September 4, 2004 London, England.
• Infinity 2003. 5th International Workshop on Verification of Infinite-State Systems. September 2, 2003. Marseilles, France.
• Infinity 2002 (co-chair). 4th International Workshop on Verification of Infinite-State Systems. August 24, 2002. Brno, Czech Republic.
• VEPAS 2001. Verification of Parameterized Systems. July 13, 2001. Crete, Greece.

2005: A two-months research stay at the Institute for Formal Methods in Computer Science, University of Stuttgart, Germany.

2004: A two-months research stay at the Institute for Formal Methods in Computer Science, University of Stuttgart, Germany.

2003: A two-months research stay at the Institute for Formal Methods in Computer Science, University of Stuttgart, Germany.

2003: A one-month visiting professorship at the Laboratoire Specification et Verification, Ecole Normale Superieure de Cachan, France.

2003: A two-months visiting professorship at the Comp. Sci. Dept., Uppsala University, Sweden.

2002: A two-months visiting professorship at the Comp. Sci. Dept., Uppsala University, Sweden.

2001: A one-month research stay at the Comp. Sci. Dept., Uppsala University, Sweden.

2001: A two-months research stay at the Institute for Informatics, TU-Munich, Germany.

2001: A one-week stay at the Comp. Sci. Dept., University of Wales Swansea, United Kingdom.

2001: A one-week stay at the Comp. Sci. Dept., Uppsala University, Sweden.

2000: A three-month stay at the Institute for Informatics, TU-Munich, Germany.

1999: A one-month research stay at the Computing Science Department,Uppsala University, Sweden.

1998: A twelve-months stay at the Institute for Informatics, TU-Munich, Germany (Alexander von Humboldt Fellowship).

1998: A one-month stay at TU Wien. (OSI Fellowship).

1995: A three-month research stay at the University of Aarhus (BRICS), Denmark.