Mgr.
Libuše Mrazíková
zástupce vedoucího
+420 54114 1244
mrazikova@fit.vut.cz
F221 Personální oddělení
Projekty
-
2023
ROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení, zahájení: 2023-01-01, ukončení: 2025-12-31
Detail -
2020
SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems, GAČR - Standardní projekty, GA20-07487S, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
Detail -
2019
OCCAM - OCR, ClassificAtion & Machine Translation, EK EU - Connecting Europe Facility (CEF), 2019-2021, ukončen, zahájení: 2019-10-01, ukončení: 2021-09-30
Detail -
2016
IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen, zahájení: 2016-01-01, ukončení: 2020-12-31
Detail