KEYNOTE

Bertrand Meyer

Programmer, entrepreneur, author, language designer, researcher, software legal expert

Biography.

Bertrand Meyer is an academic and entrepreneur whose career has been devoted to developing methods and tools to help the world produce better software and produce software better. He is Professor Emeritus at ETH Zurich and CTO of Eiffel Software (based in Santa Barbara, California). He was part of the founding faculty at Constructor Institute of Technology and has held visiting positions in several universities in Europe and Australia. He was one of the pioneers in object technology through his introduction of the Design by Contract and other well-known software design concepts such as the Open-Closed Principle, and best-selling books such as Object-Oriented Software Construction. He has made important contributions to programming languages, through his design of the Eiffel language, agile methods (with another best-selling book, Agile! The Good, the Hype and the Ugly, Springer), requirements engineering (Handbook of Requirements and Business Analysis, also Springer, 2022), formal methods (with the development of the AutoProof program-proving system), concurrent programming, and software project management. His awards include the ACM Software System Award, the IEEE Harlan Mills award, ACM and IFIP fellow, member of Academia Europaea and two honorary doctorates.

Talk.

Software verification in the age of Artificial Intelligence

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 particulary 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 want to navigate the new landscape successfully.

Get in Touch

We would love to speak with you.
Feel free to reach out using the below details.