Mgr.
Libuše Mrazíková
zástupkyně vedoucího
+420 54114 1244
mrazikova@fit.vut.cz
F221 Personální oddělení
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í
-
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
-
2019
OCR, ClassificAtion & Machine Translation, EU, Connecting Europe Facility (CEF), zahájení: 2019-10-01, ukončení: 2021-09-30, ukončen