Hana Ventrubová

Projekty

• 2023

  Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, ř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í

• 2022

  Transformace formy a obsahu vzdělávání na Vysokém učení technickém v Brně, MŠMT, Výzva pro VŠ v rámci NPO, 0004/NPO74_PZDU_VS, zahájení: 2022-04-01, ukončení: 2024-12-31, řešení

• 2020

  Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen

• 2017

  Infrastruktura pro moderní studium IT, EU, OP VVV PO2 ERDF výzva pro vysoké školy, zahájení: 2017-10-01, ukončení: 2022-09-30, ukončen