CryptoBullishEthereum Foundation Blog · Sep 16/102
⛓️
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.
$ETH