Ing.
Roman Andriushchenko
Student doktorského studia
Projekty
-
2024
Verification and Analysis for Safety and Security of Applications in Life, EK EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, řešení, zahájení: 2024-06-01, ukončení: 2027-05-31
Detail -
2023
CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EK EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, řešení, zahájení: 2023-01-01, ukončení: 2026-12-31
DetailReliable, Secure, and Intelligent Computer Systems, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8151, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
DetailROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
DetailVESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR - Standardní projekty, GA23-06963S, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
Detail -
2020
CAQTUS - Computer-Aided Quantitative Synthesis, GAČR - Juniorské granty, GJ20-02328Y, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
DetailSpolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
Detail -
2019
AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-31
DetailFramework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU - Společná technologická iniciativa ECSEL, 8A19003, 826610, 2019-2023, ukončen, zahájení: 2019-10-01, ukončení: 2023-01-31
Detail