Now in his seventh and final year of the PhD program at Illinois Computer Science, Xiaohong Chen has steadily built upon his interest in formal semantics of programming languages.
The latest example of his progress is an academic research grant through Ethereum – the second blockchain after Bitcoin – that Chen earned with advisor and Illinois CS professor Grigore Rosu. The two will delve into a research topic entitled, “Trustworthy Formal Verification for Ethereum Smart Contracts via Machine-Checkable Proof Certificates.”
Their project became one of 39 grants in seven different categories, through which Ethereum allocated more than $2 million.
“I’ve always found formal semantics of programming languages a fascinating research area for it studies the safety and correctness of computer programs – which are ubiquitous these days – using the most rigorous and trustworthy method that we have even known: mathematics and logic,” Chen said. “To me, Ethereum’s support through this grant is...
Your content is great. However, if any of the content contained herein violates any rights of yours, including those of copyright, please contact us immediately by e-mail at media[@]kissrpr.com.
INN caught up with cryptocurrency investment expert Dan Hoover to review the current landscape and where the market may be heading. The cryptocurrency investment marketplace has gone through severa...