We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.
- Followers
- 8,968
- wwshemi score
- 431
Stage (estimate)
Unknown
Not enough public evidence yet (hackathons, accelerators, grants, funding, hiring). Follower counts alone don't decide it.
Team
Team research is part of full access.
Open positions
Loading open positions…