We apply formal methods to improve the safety, reliability and correctness of computing systems for blockchain, auto and space.

10 Follower 75 Following