Projects
CHESS: Cyber-security Excellence Hub in Estonia and South Moravia
Funding: Horizon Europe
Duration: 2023-2026
Advanced Analysis and Verification for Advanced Software
Funding: The Czech Science Foundation, project No. 23-06506S
Duration: 2023-2025
Models, Algorithms, and Tools for Solving Adversarial Security Problems
Funding: Army Research Office (ARO)
Duration: 2021-2024
Efficient Analysis and Optimization for Probabilistic Systems and Games
Funding: The Czech Science Foundation, project No. 21-24711S
Duration: 2021-2023
European Network for Game Theory
Funding: European Cooperation in Science and Technology (COST)
Duration: 2017-2022
Automata for Decision Procedures and Verification
Funding: The Czech Science Foundation, project No. GA19-24397S
Duration: 2019-2021
Verification and Analysis of Probabilistic Programs
Funding: The Czech Science Foundation, project No. GJ19-15134Y
Duration: 2019-2021
Automation of Formal Verification
Funding: Technology Agency of the Czech Republic, project No. TH04010192
Duration: 2019-2021
Algorithms for Infinite-State Discrete Systems and Games
Funding: The Czech Science Foundation, project No. 18-11193S
Duration: 2018-2020