Antonín Kučera

Running Projects

Center of Excellence - Institute for Theoretical Computer Science (co-PI).

Algorithms for Infinite-State Discrete Systems and Games (PI).

European Network for Game Theory (WP leader, MC member).

  • Duration: 2017-2020
  • Funding: COST

Past Projects

Game Theory in Formal Analysis and Verification of Computer Systems (PI).

  • Duration: 2015-2017
  • Funding: The Czech Science Foundation, project No. 15-17564S

Formal Methods for Analysis and Verification of Complex Systems (PI).

  • Duration: 2010-2014
  • Funding: The Czech Science Foundation, project No. P202/10/1469

Institute for Theoretical Computer Science, ITI (co-PI).

Probabilistic methods in formal verification of infinite-state systems (co-PI).

(Un)decidable Problems in Process Algebras (PI)

  • Duration: 1998-2001
  • Funding: The Grant Agency of the Czech Republic (PostDoc grant), project No. 201/98/P046

Methods for Semi-Automatic Verification of Concurrent Systems (PI)