Ústav inteligentních systémů
2025
- QUAK: Analýza kvantových programů pomocí automatů, GAČR, Standardní projekty, 25-18318S, zahájení: 2025-01-01, ukončení: 2027-12-31, řešení
- Řetězcová omezení pro analýzu bezpečnosti, GAČR, Standardní projekty, 25-17934S, zahájení: 2025-08-01, ukončení: 2028-07-31, řešení
2024
- EXCEL@FIT 2024, VUT, Vnitřní projekty VUT, zahájení: 2024-03-01, ukončení: 2024-12-31, ukončen
- Nástroje boje proti hlasovým DeepFakes, MV, Programu bezpečnostního výzkumu ČR 2021-2026: vývoj, testování a evaluace nových bezpečnostních technologií (SECTECH) - II. veřejná soutěž, VB02000060, zahájení: 2024-01-01, ukončení: 2026-12-31, řeš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
- Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, řeš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
- Aktivita A2 - Transformace formy a obsahu vzdělávání na Vysokém učení technickém v Brně, MŠMT, Výzva pro VŠ v rámci NPO, zahájení: 2022-07-01, ukončení: 2024-06-30, ukončen
- Ochrana letectví před nízkoenergetickými lasery, TAČR, 3. veřejná soutěž programu Doprava 2020+, CK03000036, zahájení: 2022-01-01, ukončení: 2025-12-31, řešení
- Sada forenzních analytických nástrojů ke zpracování obrazu a videa pro službu kriminální policie a vyšetřování, MV, Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019–2025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010041, zahájení: 2022-01-01, ukončení: 2025-12-31, řeš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í
1991
- SIMLIB - simulační knihovna pro C++, VUT, Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, zahájení: 1991-11-08, ukončení: 2029-12-31, řešení