2019

• Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, řešení Detail
• AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení Detail
• AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, řešení Detail
• Bezpečnostní monitorování řídící komunikace ICS v energetických sítích (BONNET), MV ČR - Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), BONNET, 2019-2022, přijat Detail
• Flexibilní sonda pro realizaci zákonných odposlechů, MV ČR - Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), 2019-2022, řešení Detail
• Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-19-5906, 2019-2020, řešení Detail
• Průzkum a edukace občanů České republiky v oblasti biometrie, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL02000134, 2019-2021, řešení Detail

2018

• Intemac - Analýza připravenosti firmy Alba Metal pro prediktivní údržbu a Průmysl 4.0, Intemac, 2018, ukončen Detail
• Kunst - Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod, Kunst, 2018-2019, řešení Detail
• Mezinárodní mobilita výzkumníků Vysokého učení technického v Brně, MŠMT ČR - OPVVV PO2 Mezinárodní mobilita výzkumných pracovníků, EF16_027/0008371, 2018-2022, řešení Detail
• Možnosti tvorby komunitní genealogické databáze se sémantickou informací a zahrnutou neurčitostí, TAČR - Program na podporu aplikovaného společenskovědního a humanitního výzkumu, experimentálního vývoje a inovací ÉTA., TL01000130, 2018-2021, řešení Detail
• MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2020, řešení Detail
• TEchnology TRAnsfer via Multinational Application eXperiments (TETRAMAX), EK EU - Horizon 2020, 2018-2021, řešení Detail
• Zařízení pro automatické snímání očního pozadí (EYRINA4), TAČR - Program aplikovaného výzkumu, experimentálního vývoje a inovací GAMA (2014-2019), TG01010054, 2018-2019, řešení Detail
• Zavedení atraktivního a efektivního studia v anglickém jazyce na FIT, JMK - Ostatní veřejné zdroje financování nepatřící do institucionálních zdrojů ČR, 2018-2019, řešení Detail

2017

• AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení Detail
• Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, řešení Detail
• Detekce vlny P v patologických záznamech EKG, VUT v Brně - Vnitřní projekty VUT, FEKT/FIT-J-17-4479, 2017-2018, ukončen Detail
• IotCloud - Inteligence pro systémy IoT, TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH02010845, 2017-2019, řešení Detail
• Moderní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení Detail
• Nástroje a metody zpracování videa a obrazu pro zvýšení efektivity operací bezpečnostních a záchranných složek, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20172020068, 2017-2020, řešení Detail
• ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení Detail
• Využití volné výukové kapacity FIT VUT, JMK - Ostatní projekty, které nespadají pod žádnou jinou výzvu, 2017-2018, ukončen Detail
• Zpracování, zobrazování a analýza multimediálních a 3D dat, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-3984, 2017-2019, řešení Detail

2016

• Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen Detail
• IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, řešení Detail
• Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen Detail

2015

• Sondy pro analýzu a filtraci provozu na úrovni aplikačních protokolů, MV ČR - Bezpečnostní výzkum České republiky 2015-2020, VI20152019001, 2015-2019, ukončen Detail

2014

• Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, ukončen Detail
• Software Quality Improvement, RedHatCZ, 2014-2020, řešení Detail

2010

• Vývoj softwaru pro elektronické zařízení, Honeywell, HTSCZ000318, 2010-2018, ukončen Detail

2005

• Brno University Security Laboratory, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, BUSLab, 2005-2020, řešení Detail

1991

• SIMLIB - simulační knihovna pro C++, FIT VUT - Institucionální podpora na rozvoj výzkumné organizace, FIT-SIMLIB, 1991-2020, řešení Detail