← Back to People
Published a prediction that AI will make formal verification go mainstream in software engineering.
2
Mentions
2
Articles
0
Outlets
Associated Topics
Coverage Patterns
How media typically covers Martin Kleppmann
Article Types
- opinion1
- analysis1
Media Angles
- technical2
Narrative Framing
- trend1
- breakthrough1
Articles
Most recent firstMentioned In
Referenced in coverage
Test, Don't (Just) Verify
analysispositiveDec 24, 2025
AI-assisted mechanical proving is going mainstream, enabling LLMs to solve previously intractable formal verification problems by pushing programming from implementation to specification-driven development.
“Prominent researcher cited as being excited about AI-assisted proofs and formal verification.”
AI ResearchFormal VerificationLLMsAI in Software Development
Prediction: AI Will Make Formal Verification Go Mainstream
opinionpositiveDec 9, 2025
AI-powered coding assistants will make formal verification economically viable and mainstream by automating proof generation, transforming software engineering practices.
“Published a prediction that AI will make formal verification go mainstream in software engineering.”
AI in Software DevelopmentFormal VerificationAI SafetyLLMs