Bitcoin Wednesday 47
Yoichi Hirai is a formal verification engineer at the Ethereum Foundation. He is interested in turning mathematical proofs into working software. He once visited the University of Amsterdam for half a year because he was fascinated by the constructive logics that originated there. His interest in becoming a convenience logician led him to Dresden and then to Berlin.