Article Summary
Today, I am delighted to announce that Yoichi Hirai (pirapira on github) is joining the Ethereum project as a formal verification engineer. He holds a PhD from the University of Tokyo on the topic of formalizing communicating parallel processes and created formal verification tools for Ethereum in his spare time....
Read the Full Article
This is a summary from our news feed. For the complete article with full details, analysis, and additional content, visit the original source.
Read Full Article on Ethereum Foundation BlogAbout This Story
Published:September 1, 2016 at 07:55 PM
Source:Ethereum Foundation Blog
Category:Crypto
Reading Time:~2 min on source