AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms
Austin, TX
Joined January 2015
- Tweets318
- Following550
- Followers521
- Likes407
@VerifiedbyAI is protected
Only followers this account has approved can see its posts.