Dev Update: Formal Methods

[AJBot]

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.... ...

Continue reading the above news article, by clicking here.

Administration and Moderation NOTE: A Reminder, the above news is provided for free, through a RSS Feed. The above quote does NOT include the full story. In order to continue to read more past what is quoted, please click through to the article, by clicking on the link provided above through the "continue reading" text.

Please be sensible and follow our terms of service and rules, when replying and debating the news article.