Formal Methods for Every Engineer in an AI-Powered Future

This is the Engineering Culture Podcast, from the people behind InfoQ.com and the QCon conferences. In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal methods accessible through the Quint specification language, how AI is dramatically lowering the barrier to entry for formal specification and model-based testing, and why defining correct system behaviour remains essential human work in an AI-driven world.

Read a transcript of this interview: https://bit.ly/3QoST7L

Newsletter:

Subscribe to the Software Architects' Newsletter, a monthly roundup of the patterns and technologies senior practitioners are working through, with the news and lessons from people doing the work:

https://www.infoq.com/software-architects-newsletter

InfoQ Online Certification Programs:

5-week online cohorts for senior engineers and architects, built around QCon talks. Programs now cover software architecture, AI engineering, and organizational architecture. Each week you join a four-hour live session with a confidential peer group of practitioners from other companies, apply frameworks from QCon talks to the decisions you're making at work, and earn an InfoQ certification. You leave with new approaches, or confirmation that the calls you're already making are the right ones. Learn more:

https://certification.qconferences.com/

Upcoming Events:

QCon San Francisco 2026 (November 16-20, 2026)

https://qconsf.com/

QCon London 2027 (April 13-16, 2027)