Dev Update: Formal Methods

Ethereum announces that Yoichi Hirai, a PhD holder from the University of Tokyo, is joining as a formal verification engineer. Hirai previously developed formal verification tools for Ethereum and specializes in formalizing communicating parallel processes.