doc. RNDr.

Milan Češka

Ph.D.

docent

+420 54114 1178
ceskam@fit.vut.cz
A219 Pracovna
89912/osobní číslo VUT

Projekty

  • 2024

    EXCEL@FIT 2024, VUT v Brně - Vnitřní projekty VUT, 2024, řešení, zahájení: 2024-03-01, ukončení: 2024-12-31
    Detail

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

  • 2023

    EXCEL@FIT 2023, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-1, 2023, ukončen, zahájení: 2023-03-01, ukončení: 2023-12-31
    Detail

    CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EK EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, řešení, zahájení: 2023-01-01, ukončení: 2026-12-31
    Detail

    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

    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

    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

  • 2022

    EXCEL@FIT 2022, VUT v Brně - Vnitřní projekty VUT, 2022, ukončen, zahájení: 2022-03-01, ukončení: 2022-12-31
    Detail

  • 2021

    EXCEL@FIT 2021, VUT v Brně - Vnitřní projekty VUT, 2021, ukončen, zahájení: 2021-03-15, ukončení: 2021-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

    EXCEL@FIT 2020, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-1, 2020-2021, ukončen, zahájení: 2020-03-01, ukončení: 2021-02-28
    Detail

    Spolehlivé, bezpečné a efektivní počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6427, 2020-2022, ukončen, zahájení: 2020-03-01, ukončení: 2022-12-31
    Detail

    VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU - Společná technologická iniciativa ECSEL, 8A20009, 876852, 2020-2023, ukončen, zahájení: 2020-05-01, ukončení: 2023-07-31
    Detail

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Společná technologická iniciativa ECSEL, 8A19010, 826452, 2019-2022, ukončen, zahájení: 2019-05-01, ukončení: 2022-07-31
    Detail

    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

  • 2018

    MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2021, ukončen, zahájení: 2018-06-01, ukončení: 2021-05-31
    Detail

  • 2017

    AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen, zahájení: 2017-05-01, ukončení: 2020-06-30
    Detail

    Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, ukončen, zahájení: 2017-03-01, ukončení: 2019-12-31
    Detail

    Moderní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, ukončen, zahájení: 2017-09-01, ukončení: 2022-12-31
    Detail

    ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, ukončen, zahájení: 2017-01-01, ukončení: 2019-12-31
    Detail

  • 2016

    Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
    Detail

    IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen, zahájení: 2016-01-01, ukončení: 2020-12-31
    Detail

    Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
    Detail

  • 2014

    Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen, zahájení: 2014-03-11, ukončení: 2016-12-31
    Detail

Nahoru