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
@FormallyJon hasn’t posted
When they do, their posts will show up here.