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.
Zach Harvey is the CEO of Lamassu, a pioneer of Bitcoin ATMs, a leading case study for user experience in the sector. Zach and his brother Josh began working with Bitcoin in 2011. At the time the two of them had decided to start accepting Bitcoin payments at their Tel-Aviv-based online guitar shop. In 2013, obsessed with the problem of making Bitcoin more accessible, they created the prototype for one of the world’s first Bitcoin ATMs which they initially designed to bring to Bitcoin Meetups in Manchester, New Hampshire.
Denis Roio, also known as Jaromil, is the creator of Zenroom, a virtual machine designed for fast cryptographic operations which has been used by the city of Amsterdam. He is Co-Founder and CTO of the open-source software house Dyne, and has contributed to Bitcoin core and blockchain development since 2011.
Tadhg Riordan is a software developer from Wexford, Ireland on the Zcoin team. He completed his Master’s degree in Blockchain Privacy systems from Trinity College Dublin in 2017, and since that time has worked on a range of projects in the industry, including Zcoin and Ethereum.