Jon Stephens

Co-Founder & CEO at Veridise

CEO at @VeridiseInc and PhD student at UT Austin. I specialize in building practical tools to discover security vulnerabilities in code using formal methods.

@FormallyJon, 417 followers

On file at NAUT: LinkedIn.