Projekty
-
2024
EXCEL@FIT 2024, VUT, Vnitřní projekty VUT, zahájení: 2024-03-01, ukončení: 2024-12-31, ukončen
Verification and Analysis for Safety and Security of Applications in Life, EU, HORIZON EUROPE, SEP-210979090, zahájení: 2024-06-01, ukončení: 2027-05-31, řešení
-
2023
EXCEL@FIT 2023, VUT, Vnitřní projekty VUT, FIT-S-23-1, zahájení: 2023-03-01, ukončení: 2023-12-31, ukončen
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í
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR, Standardní projekty, GA23-06963S, zahájení: 2023-03-01, ukončení: 2025-12-31, řešení
-
2022
EXCEL@FIT 2022, VUT, Vnitřní projekty VUT, zahájení: 2022-03-01, ukončení: 2022-12-31, ukončen
-
2021
EXCEL@FIT 2021, VUT, Vnitřní projekty VUT, zahájení: 2021-03-15, ukončení: 2021-12-31, ukončen
-
2020
Computer-Aided Quantitative Synthesis, GAČR, Juniorské granty, GJ20-02328Y, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen
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í
EXCEL@FIT 2020, VUT, Vnitřní projekty VUT, FIT-S-20-1, zahájení: 2020-03-01, ukončení: 2021-02-28, ukonč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
Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, MŠMT, Společná technologická iniciativa ECSEL, 8A20009, zahájení: 2020-05-01, ukončení: 2023-07-31, 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í
Nástroje Arrowhead pro inženýrství a řešení digitalizace, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, zahájení: 2019-05-01, ukončení: 2022-07-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
Moderní a otevřené studium techniky (MOST), EU, OP VVV PO2 ESF výzva pro vysoké školy, zahájení: 2017-09-01, ukončení: 2022-12-31, ukončen
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen