Ing.

Roman Andriushchenko

FIT, DITS – Researcher

+420 54114 1178
iandri@fit.vut.cz

Send BUT message

Ing. Roman Andriushchenko

Projects

  • 2024

    Verification and Analysis for Safety and Security of Applications in Life, zahájení: 01.06.2024, ukončení: 31.05.2027
    Detail

  • 2023

    GA23-06963S, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, zahájení: 01.03.2023, ukončení: 31.12.2025
    Detail

    Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026
    Detail