Tomáš Kocourek

Projects

• 2025

  String Constraints for Security Analysis, GACR, 25-17934S, 2025-2028, running, start: 2025-08-01, end: 2028-07-31
  Detail

• 2023

  Reliable, Secure, and Intelligent Computer Systems, BUT, FIT-S-23-8151, 2023-2025, running, start: 2023-03-01, end: 2025-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, completed, start: 2020-01-01, end: 2024-12-31
  Detail