Invited Talk
Table Host
Chair: Anna Lukina
(Hybrid) Perspectives: Opportunities at the intersection of FM and AI
Abstract
Formal Methods (FM) and Artificial Intelligence (AI) have traditionally developed as fairly parallel endeavours — sometimes even viewed as ‘mismatched rivals’: one slow but rigorous and certain, the other fast, flexible, yet opaque and unreliable. But this framing undersells what they can achieve together. As AI systems grow more powerful and increasingly integrated into high-stakes domains, we are rapidly approaching the limits of current safety practices. In this talk, I’ll explore emerging opportunities at the intersection of FM and AI, and argue that — when combined in the right ways — they can allow us to build verifiable, adaptive, and trustworthy systems, helping to secure the future of our digital and cyber-physical infrastructure.