Věra Malásková
Secretary
+420 54114 1139
malaska@fit.vut.cz
C208 Organizational Department of Departments
Projects
-
2023
Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, Standardní projekty, GA23-07565S, start: 2023-01-01, end: 2025-12-31, running
-
2017
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, running