Roderik Valko
MSc
Projekty
-
2026
Pokrok v automatizovaném ověřování nízkoúrovňových programů prostřednictvím separační logiky a bi-abdukce, MŠMT, AKTION Česká republika - Rakousko, zahájení: 2026-01-01, ukončení: 2026-12-31, řešení
-
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í