Software Verification in the Age of Artificial Intelligence

Title: Software Verification in the Age of Artificial Intelligence Date: May 7, 2026 Duration: 1HR ABSTRACT The AI tsunami is transforming every aspect of software engineering. What does it hold in store for the world’s software and for the profession itself? Beyond the buzz, can "vibe coding" scale up to the production of the high-quality systems the world increasingly requires? How do these evolutions affect testing and, more generally, software verification? The talk will address these questions and, more generally, analyze what software development will look like in the new, AI-rich world. It will particularly focus on the need for a modern form of software verification, supported by advanced tools and combining the best of dynamic techniques (tests) and static ones (proofs), all supported by AI agents. It will also draw the lessons for software developers and testers who are (legitimately) concerned about career strategies want to navigate the new development/AI landscape successfully. SPEAKER Bertrand Meyer Professor at ETH Zurich and CTO of Eiffel Software and Recognyze AI MODERATOR Will Tracz SIGSOFT Special Projects Coordinator