Dominik Harmim

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

  Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, start: 2020-01-01, end: 2022-12-31, completed

  Verification and Validation of Automated Systems' Safety and Security, EU, Horizon 2020, 8A20009, start: 2020-05-01, end: 2023-07-31, completed

• 2019

  Arrowhead Tools for Engineering of Digitalisation Solutions, EU, Horizon 2020, 8A19010, start: 2019-05-01, end: 2022-07-31, completed

  Framework of key enabling technologies for safe and autonomous drones´ applications, MŠMT, Společná technologická iniciativa ECSEL, 8A19003, start: 2019-10-01, end: 2023-01-31, completed