Milan Češka

Projects

• 2024

  EXCEL@FIT 2024, BUT, 2024, running, start: 2024-03-01, end: 2024-12-31
  Detail

  Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, accepted, start: 2024-07-01, end: 2027-06-30
  Detail

• 2023

  EXCEL@FIT 2023, BUT, FIT-S-23-1, 2023, completed, start: 2023-03-01, end: 2023-12-31
  Detail

  CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running, start: 2023-01-01, end: 2026-12-31
  Detail

  Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

  ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
  Detail

  VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

• 2022

  EXCEL@FIT 2022, BUT, 2022, completed, start: 2022-03-01, end: 2022-12-31
  Detail

• 2021

  EXCEL@FIT 2021, BUT, 2021, completed, start: 2021-03-15, end: 2021-12-31
  Detail

• 2020

  CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
  Detail

  Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running, start: 2020-01-01, end: 2024-12-31
  Detail

  EXCEL@FIT 2020, BUT, FIT-S-20-1, 2020-2021, completed, start: 2020-03-01, end: 2021-02-28
  Detail

  Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
  Detail

  VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, completed, start: 2020-05-01, end: 2023-07-31
  Detail

• 2019

  Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed, start: 2019-05-01, end: 2022-07-31
  Detail

  AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
  Detail

• 2018

  MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2021, completed, start: 2018-06-01, end: 2021-05-31
  Detail

• 2017

  AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU, 8A17001, 737475, 2017-2020, completed, start: 2017-05-01, end: 2020-06-30
  Detail

  Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, completed, start: 2017-09-01, end: 2022-12-31
  Detail

  ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed, start: 2017-01-01, end: 2019-12-31
  Detail

  Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
  Detail

• 2016

  Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

  IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, completed, start: 2016-01-01, end: 2020-12-31
  Detail

  Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

• 2014

  Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed, start: 2014-03-11, end: 2016-12-31
  Detail