It's been an exciting six weeks at Truidic. Great to see Truidic featured in WIR
By Madanmus · November 3, 2026 · Curated by George's Blog
It's been an exciting six weeks at Truidic. Great to see Truidic featured in WIRED's article on how AI is making formal software verification practical and increasingly essential.
https://lnkd.in/gUmRHcKP
I couldn't agree more that "formal verification is not a panacea." We cannot afford to have bugs in "formally verified" software! It's no longer just about the proofs (even AI can do those, duh!). It's about building verification systems that ensure our software is safe and secure in exactly the ways users expect it to be. (I wrote about this previously here: https://lnkd.in/gsQYebB7)
In the past six weeks, I have spoken with 30+ companies, ranging from AI-native startups to large enterprises, to understand how AI is changing their software security and safety challenges. These conversations have helped sharpen my thinking and crystallized my product vision. I now have the core technology validated and am working with design partners.
I will be in the Bay Area November 9–15 and would love to connect with AI-native companies for whom software security is mission-critical, or even existential.
If this resonates with you, please reach out. I'd love to learn about the challenges you're facing.
Our mission at Truidic: Make AI safe and secure for everyone, everywhere.https://lnkd.in/gUmRHcKP
I couldn't agree more that "formal verification is not a panacea." We cannot afford to have bugs in "formally verified" software! It's no longer just about the proofs (even AI can do those, duh!). It's about building verification systems that ensure our software is safe and secure in exactly the ways users expect it to be. (I wrote about this previously here: https://lnkd.in/gsQYebB7)
In the past six weeks, I have spoken with 30+ companies, ranging from AI-native startups to large enterprises, to understand how AI is changing their software security and safety challenges. These conversations have helped sharpen my thinking and crystallized my product vision. I now have the core technology validated and am working with design partners.
I will be in the Bay Area November 9–15 and would love to connect with AI-native companies for whom software security is mission-critical, or even existential.
If this resonates with you, please reach out. I'd love to learn about the challenges you're facing.
Our mission at Truidic: Make AI safe and secure for everyone, everywhere.