Projects
-
2023
Application-specific HW/SW architectures and their applications, BUT, FIT-S-23-8141, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
Detail -
2022
Closed-loop Individualized image-guided Transcranial Ultrasonic Stimulation, EC EU - HORIZON EUROPE, 101071008, 101071008, 2022-2026, running, start: 2022-10-01, end: 2026-09-30
Detail -
2021
Automated design of hardware accelerators for resource-aware machine learning, GACR, GA21-13001S, 2021-2023, completed, start: 2021-01-01, end: 2023-12-31
Detail -
2019
Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed, start: 2019-05-01, end: 2022-07-31
DetailAUFOVER - Automation of Formal Verification, TACR, TH04010192, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
DetailDesigning and exploiting libraries of approximate circuits, GACR, GA19-10137S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
Detail