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.
ID: 1516874588684263426
20-04-2022 20:21:22
41 Tweet
355 Followers
29 Following
