Antonín Kučera

Running Projects

Models, Algorithms, and Tools for Solving Adversarial Security Problems (PI).

Efficient Analysis and Optimization for Probabilistic Systems and Games (PI).

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

  • Duration: 2017-2021
  • Funding: COST

Past Projects

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

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

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)