Running Projects
Center of Excellence - Institute for Theoretical Computer Science
(site coordinator).
- Duration: 2012-2018
- Participating Institutes:
- Funding: The Czech Science Foundation, Project No. P202/12/G061
Formal Methods for Analysis and Verification of Complex Systems (coordinator).
- Duration: 2010-2014
- Funding: The Czech Science Foundation, project No. P202/10/1469
Past Projects
- Duration: 2005-2009 (prolonged to 2011)
- Participating Institutes:
- Funding: The Czech Ministry of Education, National Research Programme 1M, project No. 1M0545
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)