Ing.

Tomáš Dacík

FIT, DITS – Researcher

Send BUT message

Ing. Tomáš Dacík

Projects

  • 2024

    Verification and Analysis for Safety and Security of Applications in Life, zahájení: 01.06.2024, ukončení: 31.05.2027
    Detail

  • 2023

    Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026
    Detail

    GA23-07565S, Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, zahájení: 01.01.2023, ukončení: 31.12.2025
    Detail

  • 2019

    8A19010, Arrowhead Tools for Engineering of Digitalisation Solutions, zahájení: 01.05.2019, ukončení: 31.07.2022
    Detail