Projekty
-
2023
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení
-
2021
Zabezpečení a dohled distribuovaných výrobních informačních systémů, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/12, zahájení: 2021-05-01, ukončení: 2022-12-31, ukončen
-
2020
Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, zahájení: 2020-01-01, ukončení: 2024-12-31, řešení
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
-
2019
Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, zahájení: 2019-01-01, ukončení: 2021-12-31, řešení
KYPO4Industry, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/06, zahájení: 2019-08-01, ukončení: 2020-12-31, ukončen
Rámec klíčových technologií umožňujících bezpečné a autonomní aplikace dronů, EU, Horizon 2020, 8A19003, zahájení: 2019-10-01, ukončení: 2023-01-31, ukončen
-
2017
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
-
2014
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR, Standardní projekty, GA14-11384S, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen