Log in
Open app
Jon Stephens
62 posts
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
Posts
Posts
Replies
Replies
Media
Media
Continue on web
@FormallyJon
See Jon Stephens’s full profile
Open X
Don't miss what's happening
People on X are the first to know.
Log in
Sign up
@formallyjon hasn’t posted
When they do, their posts will show up here.
