Ing.

David Hudák

Student doktorského studia


ihudak@fit.vut.cz
A219 Pracovna
221816/osobní číslo VUT

Projekty

  • 2024

    Verification and Analysis for Safety and Security of Applications in Life, EK EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, řešení, zahájení: 2024-06-01, ukončení: 2027-05-31
    Detail

  • 2023

    Reliable, Secure, and Intelligent Computer Systems, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8151, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
    Detail

    VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR - Standardní projekty, GA23-06963S, 2023-2025, řešení, zahájení: 2023-03-01, ukončení: 2025-12-31
    Detail

  • 2020

    CAQTUS - Computer-Aided Quantitative Synthesis, GAČR - Juniorské granty, GJ20-02328Y, 2020-2022, ukončen, zahájení: 2020-01-01, ukončení: 2022-12-31
    Detail

Nahoru