Projects
-
2023
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
-
2020
CAQtuS: Computer-Aided Quantitative Synthesis, GACR, Juniorské granty, GJ20-02328Y, start: 2020-01-01, end: 2022-12-31, completed
Spolehlivé, bezpečné a efektivní počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6427, start: 2020-03-01, end: 2023-02-28, completed
-
2019
Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, start: 2019-01-01, end: 2021-12-31, running
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed