Register now for the upcoming free ACM TechTalk, “Software Verification in the Age of Artificial Intelligence,” taking place on Thursday, May 7 at 11 pm Astana time (UTC+6). The session will be presented by Bertrand Meyer, Professor at ETH Zurich and CTO of Eiffel Software and Recognyze AI. The Q&A discussion will be moderated by Will Tracz.
Participants are encouraged to register in advance and submit questions via the ACM Discourse platform. The discussion will remain open after the session, allowing continued engagement with the global computing community.
About the Talk
Artificial intelligence is rapidly transforming software engineering. This talk explores how AI is reshaping the development process and what it means for the future of the profession.
The session will address key questions:
The talk will highlight the importance of combining dynamic techniques (testing) and static methods (formal verification), enhanced by AI tools and agents. It will also provide insights for developers and testers navigating career paths in an AI-driven landscape.
About the Speaker
Bertrand Meyer is a leading figure in software engineering, known for pioneering concepts such as Design by Contract and the Open-Closed Principle. He is the author of influential works including Object-Oriented Software Constructionand has made significant contributions to programming languages, formal methods, agile methods, and software engineering practices.
Moderator
Will Tracz is a software engineering expert and ACM SIGSOFT Special Projects Coordinator, with extensive experience in large-scale systems and international professional initiatives in computing.
Participants are encouraged to register in advance and submit questions via the ACM Discourse platform. The discussion will remain open after the session, allowing continued engagement with the global computing community.
About the Talk
Artificial intelligence is rapidly transforming software engineering. This talk explores how AI is reshaping the development process and what it means for the future of the profession.
The session will address key questions:
- Can AI-driven approaches scale to produce reliable, high-quality software systems?
- How is software testing evolving in the age of AI?
- What role will verification play in ensuring software correctness?
The talk will highlight the importance of combining dynamic techniques (testing) and static methods (formal verification), enhanced by AI tools and agents. It will also provide insights for developers and testers navigating career paths in an AI-driven landscape.
About the Speaker
Bertrand Meyer is a leading figure in software engineering, known for pioneering concepts such as Design by Contract and the Open-Closed Principle. He is the author of influential works including Object-Oriented Software Constructionand has made significant contributions to programming languages, formal methods, agile methods, and software engineering practices.
Moderator
Will Tracz is a software engineering expert and ACM SIGSOFT Special Projects Coordinator, with extensive experience in large-scale systems and international professional initiatives in computing.