Bertrand Meyer delivered a talk on software verification in the context of artificial intelligence, offering a balanced perspective on the current state of AI in software engineering. His presentation provided insights that were both surprising and reassuring, with some points managing to be both. The talk is highly recommended for those interested in the intersection of AI and software development. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Provides a measured perspective on the integration of AI into software engineering practices.
RANK_REASON This is a summary of a talk given by an individual, reflecting on the current state of AI in software engineering.
