doc. RNDr.

Milan Češka

Ph.D.

FIT, DITS – Associate professor

+420 54114 1178
ceskam@fit.vut.cz

Send BUT message

doc. RNDr. Milan Češka, Ph.D.

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-06963S, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, zahájení: 01.03.2023, ukončení: 31.12.2025
    Detail

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

  • 2020

    8A20009, Verification and Validation of Automated Systems' Safety and Security, zahájení: 01.05.2020, ukončení: 30.04.2023
    Detail

    Spolehlivé, bezpečné a efektivní počítačové systémy, zahájení: 01.03.2020, ukončení: 28.02.2023
    Detail

    LL1908, Efektivní konečné automaty pro automatické usuzování, zahájení: 01.01.2020, ukončení: 31.12.2024
    Detail

    GJ20-02328Y, CAQtuS:Počítačem podporovaná kvantitativní syntéza, zahájení: 01.01.2020, ukončení: 31.12.2022
    Detail

  • 2019

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

  • 2017

    Moderní a otevřené studium techniky, zahájení: 01.09.2017, ukončení: 31.12.2022
    Detail

    Bezpečné a spolehlivé počítačové systémy, zahájení: 01.03.2017, ukončení: 29.02.2020
    Detail

  • 2016

    LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020
    Detail