Ing.

Roman Andriushchenko

Ph.D. student

+420 54114 1178
iandri@fit.vut.cz
A219 Office
178259/BUT personal ID

Projects

  • 2024

    Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, running, start: 2024-06-01, end: 2027-05-31
    Detail

  • 2023

    CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running, start: 2023-01-01, end: 2026-12-31
    Detail

    Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
    Detail

    ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
    Detail

    VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
    Detail

  • 2020

    CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
    Detail

    Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
    Detail

  • 2019

    AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
    Detail

    Framework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU, 8A19003, 826610, 2019-2023, completed, start: 2019-10-01, end: 2023-01-31
    Detail

Back to top