Roman Andriushchenko

Projekty

• 2024

  Verification and Analysis for Safety and Security of Applications in Life, EU, HORIZON EUROPE, SEP-210979090, zahájení: 2024-06-01, ukončení: 2027-05-31, řešení

• 2023

  Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení

  Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení

  VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR, Standardní projekty, GA23-06963S, zahájení: 2023-03-01, ukončení: 2025-12-31, řešení

• 2020

  Computer-Aided Quantitative Synthesis, GAČR, Juniorské granty, GJ20-02328Y, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen

• 2019

  Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, zahájení: 2019-01-01, ukončení: 2021-12-31, řešení