Ing.

David Chocholatý

Student doktorského studia


ichocholaty@fit.vut.cz
A220 Pracovna
222101/osobní číslo VUT

Projekty

  • 2023

    ROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení, zahájení: 2023-01-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

    Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení, zahájení: 2020-01-01, ukončení: 2024-12-31
    Detail

  • 2019

    AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, ukončen, zahájení: 2019-01-01, ukončení: 2021-12-31
    Detail

Nahoru