Přístupnostní navigace
E-application
Search Search Close
Ing.
FIT, DITS – Researcher
+420 54114 1178iandri@fit.vut.cz
Send BUT message
2024
Verification and Analysis for Safety and Security of Applications in Life, zahájení: 01.06.2024, ukončení: 31.05.2027Detail
2023
GA23-06963S, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, zahájení: 01.03.2023, ukončení: 31.12.2025Detail
Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026Detail