Building the enterprise GTM motion from scratch for URSA Secure: a DARPA-backed formal methods platform that proves software does exactly what it's supposed to do, whether human or AI-generated.
I own commercialization strategy across DevSecOps, SDLC, and critical-system buyers: opening enterprise accounts, running high-value pilots, and translating deep technical capability into business outcomes that engineering and security leaders actually care about. If you're shipping AI-generated code at scale and wondering whether it's truly correct, that's exactly the problem we solve.
