How is AI-assisted development fundamentally shifting the way we verify software?
In this talk, Aaron explores how the rise of AI-powered development tools is changing the game for software engineers. This isn’t “vibe coding” — it’s a real shift in how we think about building and verifying software systems. Key topics include:
Modern development increasingly involves building systems whose behavior is probabilistic rather than deterministic — and that requires new approaches to verification, testing, and risk management.
Food and drinks will be provided! Please contact us (on meetup) if you have any dietary restrictions/food allergies.
Meeting will be held in the offices of SmartDraw Software, 1780 Hughes Landing Blvd #1100 on the 11th floor. Free parking is available in the adjacent garage.
Hi! I’m Aaron Stannard, and I’m the CEO and founder of Petabridge, where I’m making Akka.NET to help the world’s most important companies build amazing applications with .NET.
I’ve been working on Akka.NET for over 10 years and I haven’t gotten tired of it yet!
Prior to Petabridge I founded MarkedUp Analytics, a real-time in-app marketing and analytics service used by 1000+ developers. Prior to that I worked at Microsoft as a Startup Developer Evangelist.