Jon Stephens
CTO at @VeridiseInc and PhD student at UT Austin. I specialize in building practical tools to discover security vulnerabilities in code using formal methods.
299
Followers
17
Following
32
Tweets
- Participated Spaces
- 2
- Hosted Spaces
- 0
- Live Avg. Participants
- 0
- CoHosted
- 0
- Spoke in last 30 days
- 0