Projects
-
2023
AIDE - Advanced Analysis and Verification for Advanced Software, GACR, GA23-06506S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
Detail -
2022
Transformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, completed, start: 2022-07-01, end: 2024-06-30
DetailTransformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, completed, start: 2022-07-01, end: 2024-06-30
Detail -
2021
FIT BUT - Preparation of own project for Horizon Europe program, SMR, 2021-2022, completed, start: 2021-08-01, end: 2022-01-31
Detail -
2020
SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, GA20-07487S, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
Detail -
2017
Infrastructure for modern studium of IT, MŠMT CR, 2017-2022, completed, start: 2017-10-01, end: 2022-09-30
DetailIntegrated platform for analysis of digital data from security incidents, MV CR, VI20172020062, 2017-2020, completed, start: 2017-01-01, end: 2020-06-30
DetailModerní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, completed, start: 2017-09-01, end: 2022-12-31
DetailTools and methods for video and image processing to improve effectivity of rescue and security services operations, MV CR, VI20172020068, 2017-2020, completed, start: 2017-01-01, end: 2020-12-31
Detail