Biography

Antonín Kučera

Personal Data

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

Family Status: Married, three children

Languages: Czech (native), English, German

Qualification

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

  • Evaluation Board: Jiří Rosický, chair (Masaryk University, Czech Republic), Luboš Brim (Masaryk University, Czech Republic), Petr Hájek (Institute of Computer Science, Academy of Sciences of the Czech Republic), Jaroslav Nešetřil (Charles University, Czech Republic), Pavel Pudlák (Mathematical Institute, Academy of Sciences of the Czech Republic).

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

  • Habilitation Thesis: Deciding Regular Properties in Simple Process Algebras.
  • Reviewed by Milan Češka (TU Brno, Czech Republic), Javier Esparza (TU München, Germany), Colin Stirling (The University of Edinburgh, UK).

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.

  • Thesis: Automated Compiler Construction (in Czech).

Employment

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.

1998 - 1999: PostDoc at the Institute for Informatics, TU-Munich, Germany (Alexander von Humboldt Fellowship).

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

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

Boards and Committees

Journal Editorial Boards

Award Committees

Steering Committees

  • MFCS, Mathematical Foundations of Computer Science (chair).
  • VECoS, International Conference on Verification and Evaluation of Computer and Communication Systems.
  • Infinity, International Workshop on Verification of Infinite-State Systems (chair).
  • LMCS, Logical Methods of Computer Science (Executive Board Member).
  • TheoretiCS, Advisory Board Member.

Scientific Boards

Other Positions

Awards

2024: MU Rector's Award for Long-Term Excellent Results in Research, Silver Medal of MU, Masaryk University.

2020: MUNI Scientist Award, Masaryk University.

2016: Friedrich Wilhelm Bessel Research Award, Alexander von Humboldt Foundation.

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.

Invited Talks and Tutorials

  • The Satisfiability and Validity Problems for Probabilistic CTL. 18th International Conference on Reachability Problems (RP 2024). Vienna, Austria, September 25-27, 2024.
  • Asymptotic Analysis of Probabilistic VASS Programs. 16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2023). Marrakech, October 18-20, 2023.
  • Solution Concepts and Objectives in Adversarial Patrolling Games. Current Trends in Graph and Stochastic Games. Maastricht, April 7-8, 2022.
  • Efficient analysis of VASS termination complexity. Online Worldwide Seminar on Logic and Semantics (OWLS). October 21, 2020. Video.
  • Game-Theoretic Models of Patrolling Problems.
    Theory and Algorithms in Graph and Stochastic Games (GAMENET Workshop 2019). Mons, Belgium, March 14-15, 2019.
  • Methods and Tools for Solving Infinite-State Stochastic Games.
    Highlights of Logic, Games, and Automata (Highlights 2016). Brussels, Belgium, September 6-9, 2016.
  • Stochastic Turn-Based Games.
    12th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2016). Genova, Italy, June 27 - July 1, 2016.
  • On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS.
    20th International Symposium on Fundamentals of Computation Theory (FCT 2015). Gdańsk, Poland, August 2015.
  • Recent results about probabilistic multi-counter machines.
    DIMAP Logic Day 2015 (DIMAP LD 2015). Warwick, UK, June 2015.
  • Stochastic two-player games.
    The Prague computer science seminar. Prague, CZ, February 2014.
  • 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.

Programme Committee Membership

  • CONCUR 2024. 35th International Conference on Concurrency Theory, CONCUR 2024. September 9-13, 2024, Calgary, Canada.
  • MFCS 2024 (co-chair). 49th International Symposium on Mathematical Foundations of Computer Science, August 26-30, 2024, Bratislava, Slovakia.
  • ICALP 2024. 51st EATCS International Colloquium on Automata, Languages and Programming, ICALP 2024. Talinn, Estonia.
  • FoSSaCS 2024. 27th International Conference on Foundations of Software Science and Computation Structures.
  • VECoS 2023. 16th International Conference on Verification and Evaluation of Computer and Communication Systems. 18-20 October 2023, Marrakech, Morocco.
  • LICS 2022. 37th Annual Symposium on Logic in Computer Science. August 2-5, 2022, Haifa, Israel.
  • FCT 2021. 23rd International Symposium on Fundamentals of Computation Theory. September 5-8, 2021, Athens, Greece.
  • Highlights 2020. Highlights of Logic, Games and Automata. September 16-18, 2020.
  • ICALP 2020. 47th International Colloquium on Automata, Language and Programming. July 8-11, Saarbrücken, Germany.
  • Concur 2020. The 31st International Conference on Concurrency Theory, Vienna, Austria, September 1-4, 2020.
  • STACS 2019. 36th International Symposium on Theoretical Aspects of Computer Science, March 13-16, 2019, Berlin, Germany.
  • LICS 2019. 34th Annual ACM/IEEE Symposium on Logic in Computer Science.
  • MFCS 2018. 43rd International Symposium on Mathematical Foundations of Computer Science. August 27-31, 2018, Liverpool (UK).
  • CONCUR 2018. 29th International Conference on Concurrency Theory. Beijing, China, September 4-7, 2018.
  • Highlights 2017. Highlights of Logic, Games and Automata. September 13-15, 2017, London, UK.
  • CONCUR 2017. 28th International Conference on Concurrency Theory. September 5-8, 2017, Berlin, Germany.
  • LICS 2017. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science. June 20–23, 2017. Reykjavik, Iceland.
  • Sofsem 2017. 43rd International Conference on Current Trends in Theory and Practice of Computer Science. January 16–20, 2017. Lero - Limerick, Ireland.
  • GandALF 2016. 7th International Symposium on Games, Automata, Logics, and Formal Verification. September 14-16, 2016. Catania, Italy
  • IJCAI 2016. 25th International Joint Conference on Artificial Intelligence. July 9-15, 2016. New York City, USA.
  • ECAI 2016 (Senior PC Member). 22nd European Conference on Artificial Intelligence. August 29 - September 2, 2016. The Hague, Holland.
  • Highlights 2015 (co-chair). Highlights of Logic, Games, and Automata. September 15-18, 2015. Prague, Czech Republic.
  • GandALF 2015. The Sixth International Symposium on Games, Automata, Logics and Formal Verification. September 21– 23, 2015, Genova, Italy
  • LATA 2015. 9th International Conference on Language and Automata Theory and Applications. March 2-6, 2015, Nice, France.
  • ICALP 2015. 42nd International Colloquium on Automata, Language and Programming. July 6-10, 2015, Kyoto, Japan.
  • Sofsem 2015. 41st International Conference on Current Trends in Theory and Practice of Computer Science. January 24-29, 2015. Pec pod Sněžkou, Czech Republic.
  • CONCUR 2014. 25th International Conference on Concurrency Theory. September 1-6, 2014, Rome, Italy.
  • FoSSaCS 2014. 17th International Conference on Foundations of Software Science and Computation Structures. April 2014, Grenoble, France.
  • Highlights 2013. Highlights of Logic, Games and Automata. September 18-21, 2013, Paris, France.
  • 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.

Academic Stays

2021: A visiting scientist at the Simon's Institute for the Theory of Computing, UC Berkeley, USA (virtual due to COVID).

2018: A four-months research stay at the Faculty of Computer Science, Technische Universität München, Germany.

2017: A six-months research stay at the Faculty of Computer Science, Technische Universität München, Germany.

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.

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 one-month stay at TU Wien. (OSI Fellowship).

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