Projekty

• 2026

  Reliable, Secure, and Intelligent Computer Systems - extension for 2026, zahájení: 01.03.2026, ukončení: 28.02.2027
  Detail

• 2025

  GA25-17934S, String Constraints for Security Analysis, zahájení: 01.08.2025, ukončení: 31.07.2028
  Detail

• 2023

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

• 2019

  GA19-24397S, Automaty v rozhodovacích procedurách a verifikaci, zahájení: 01.01.2019, ukončení: 31.12.2021
  Detail