Ing.

Lenka Holíková

Ph.D.

zaměstnanec mimoevidenční

Projects

2020

Efficient Finite Automata for Automated Reasoning, MŠMT, ERC CZ, LL1908, 2020-2024, running

Spolehlivé, bezpečné a efektivní počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, completed
2019

Arrowhead Tools for Engineering of Digitalisation Solutions, MŠMT, Společná technologická iniciativa ECSEL, 8A19010, 2019-2022, completed
2017

Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, completed
2016

IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed