Filip Macák

Projekty

• 2023

  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

  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