Home » Speakers

Bitcoin Conference Speakers

Yoichi Hirai

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.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z