Projects

Antonín Kučera

Running Projects

Center of Excellence - Institute for Theoretical Computer Science (site coordinator).

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

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

Past Projects

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

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

Institute for Theoretical Computer Science, ITI (site coordinator).

Highly Parallel and Distributed Systems.

  • Duration: 2005-2011
  • Funding: The Czech Ministry of Education, Research Intent, project No. MSM0021622419

Probabilistic methods in formal verification of infinite-state systems (site coordinator).

Verification of Infinite State Systems (co-worker)

  • Duration: 2003-2005
  • Funding: The Grant Agency of the Czech Republic, project No. 201/03/1161

Infinite State Concurrent Systems - Models and Verification (co-worker)

  • Duration: 2000-2002
  • Funding: The Grant Agency of the Czech Republic, project No. 201/00/0400

Models of Nonsequentinal Computing (co-worker)

  • Duration: 1999-2004
  • Funding: The Czech Ministry of Education, Research Intent, project No. CEZ: J07/98: 143300001

Verification of Infinite State Systems (co-worker)

  • Duration: 1999-2003
  • Participating Institutes:
  • Funding: STINT (The Swedish Foundation for International Cooperation in Research and Higher Education)

Algorithmic verification boundaries for infinite state systems (co-worker)

  • Duration: 1997-1999
  • Funding: The Grant Agency of the Czech Republic, project No. 201/97/0456

(Un)decidable Problems in Process Algebras (coordinator)

  • 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 (coordinator)