Summary
Annie Vella reflects on her transition from a Distinguished Engineer role at Westpac NZ to exploring formal verification methods in software engineering, particularly in the context of AI-generated code. She discusses the historical significance of formal methods, their relevance today as AI changes the coding landscape, and the challenges faced in integrating these methods into mainstream development practices. Through personal anecdotes and industry insights, Vella advocates for adopting mathematical proof as a standard part of the software development lifecycle, aiming to improve code safety and developer experience amidst AI advancements.