Projects
-
2026
Honeywell - SMT solving numerických modelů pracujících s řetězci, Honeywell International s.r.o., start: 2026-07-01, end: 2026-08-31, completed
Reliable, Secure, and Intelligent Computer Systems - extension for 2026, BUT, Vnitřní projekty VUT, FIT-S-26-9011, start: 2026-03-01, end: 2027-02-28, running
-
2025
String Constraints for Security Analysis, GACR, Standardní projekty, GA25-17934S, 25-17934S, start: 2025-08-01, end: 2028-07-31, running