Detail projektu

Honeywell - SMT solving numerických modelů pracujících s řetězci

Období řešení: 1.7.2026 — 31.8.2026

Zdroje financování

Neveřejný sektor - Přímé kontrakty - smluvní výzkum, neveřejné zdroje

Originální jazyk

čeština

Řešitelé

Holík Lukáš, doc. Mgr., Ph.D. - hlavní řešitel
Kocourek Tomáš, Ing. - spoluřešitel

Útvary

Ústav inteligentních systémů
- odpovědné pracoviště (28.7.2026 - nezadáno)
Honeywell International s.r.o.
- objednatel (1.7.2026 - 31.8.2026)

Odpovědnost: Holík Lukáš, doc. Mgr., Ph.D.