Department of Intelligent Systems
2024
- EUROPEAN BLOCKCHAIN SERVICES INFRASTRUCTURE, EBSI, MPO CR, Z222901000001, 2024-2025, running Detail
- EXCEL@FIT 2024, BUT, 2024, running Detail
- Novel AI-Driven Process Automation for Simplifying and Enhancing Telecommunication Processes, TACR, FW10010014, 2024-2026, running Detail
- RED HAT - výzkum pokročilých metod inženýrství kvality kódu se zvláštním zaměřením na vylepšení stávajícího nástroje Perun a jeho použití v portfoliu společnosti Red Hat, zejména pro profilování linuxového jádra, RedHatCZ, 2024, running Detail
- Spolupráce s partnery FIT, FIT BUT, 2024, running Detail
- Tools To Combat Voice DeepFakes, MV CR, VB02000060, 2024-2026, running Detail
- Účelem smlouvy je zhodnocení testování a ověřování výsledků korelačních dat v overlay a kryptoměnových sítích podle parametrů, netsearch s.r.o., 2024, running Detail
- Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, running Detail
2023
- AIDE - Advanced Analysis and Verification for Advanced Software, GACR, GA23-06506S, 2023-2025, running Detail
- Cybersecurity Innovation Hub, EC EU - Digital Europe Programme, 101083932, 101083932, 2023-2025, running Detail
- Dodání metodologického rámce pro vývoj aplikace "Fake News", PWC, 2023, completed Detail
- EXCEL@FIT 2023, BUT, FIT-S-23-1, 2023, completed Detail
- CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running Detail
- KRONOSPAN - algoritmus pro optimalizaci nakládky materiálu k rozvozu, KRONOSPAN, 2023, completed Detail
- Long Life Power Platforms for Internet of Things, KDT JU, 9A23012, SEP-210885163, 2023-2026, running Detail
- NGI0 Entrust Hop On, EC EU - HORIZON EUROPE, 101119350, 2023-2025, running Detail
- Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running Detail
- ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running Detail
- VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running Detail
2022
- A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV CR, VJ02010041, 2022-2025, running Detail
- Aviation protection against low-energy lasers, TACR, CK03000036, 2022-2025, running Detail
- Development of the autonomous monitoring center, MPO CR, 2022-2023, completed Detail
- Optimization of Trucks Loading, Lean Industry, s.r.o., 2022-2023, completed Detail
- TENACITy: Travelling intelligENce Against CrIme and Terrorism, EC EU - HORIZON EUROPE, 101074048, 2022-2025, running Detail
- Transformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, completed Detail
- Vývoj autonomního dohledového centra - SV, ALSYKO security, s.r.o., 2022-2023, completed Detail
2021
- 5G enhanced robot autonomy, EC EU - Horizon 2020, 101016681, 2021-2024, completed Detail
- AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems, ECSEL JU, 8A21015, 101007350, 2021-2024, running Detail
- Distributed Artificial Intelligent Systems, ECSEL JU, 8A21012, 101007273, 2021-2024, running Detail
- Universal telemedicine software libraries, MPO CR, EG20_321/0024616, 2021-2023, completed Detail
- Universal telemedicine software libraries - SV, Meta IT, 2021-2023, completed Detail
2020
- Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running Detail
- International mobility of researchers at the Brno University of Technology II, MSMT OP VVV, EF18_053/0016962, 2020-2023, completed Detail
- VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, completed Detail
2019
- Framework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU, 8A19003, 826610, 2019-2023, completed Detail
2017
- Methods for extracting and detecting patterns in the program code, Avast, 2017-2024, running Detail
2014
- Software Quality Improvement, RedHatCZ, 2014-2099, running Detail
2011
- Development of robot automobile operating and development of new generation of assistant systems for operating, ARTIN, 2011-2099, running Detail