Log inSign up
Image
user avatar
Jon Stephens
@FormallyJon
CEO at @VeridiseInc and PhD student at UT Austin. I specialize in building practical tools to discover security vulnerabilities in code using formal methods.
Joined April 2022
39
Following
413
Followers
RepliesMedia