I am a postdoctoral fellow at CTU (Prague), in the optimization group, working with Jakub Mareček on the optimization of tame functions.
Prior to this position, I did my PhD at the Laboratoire Jean Kuntzmann (Grenoble), in the DAO team under the supervision of Franck Iutzeler and Jérôme Malick. I focused on structured nonsmooth problems, which include learning problems and more general nonsmooth problems. I developed structure identification procedures and fast (Newton-type) methods for such nonsmooth nonconvex problems. More in my PhD thesis!
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.
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.
By clicking “Accept All Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts.