The CTU team secured first place in the latest round which grants them direct advancement to the finals of this international competition focused on trusted AI. The winners will be announced at the end of July 2025.
Saman Khorramian
Project description: Polynomial optimization is an exciting area of research in optimization that sits right on the border between what is undecidable (continuous optimization) and what is efficiently solvable (simpler conic optimization problems, such as linear and semidefinite programming). Continuous progress in this area over the last two decades has enabled new applications in many fields.
Latest Projects
No items found.
Research Results
No items found.
Latest news
Jakub Mareček’s LION 19 keynote presents a framework for reasoning about repeated uses of AI systems and the new Interconnect toolkit for long-run properties therein.
For the second year in a row, our popular online course is open to the public. The 14-week course begins in September 2025 and is now also available to industry professionals seeking an EU microcertificate.