I’m a research engineer in the Automated Reasoning Team at ConsenSys. My current focus is on the practical application of formal methods to software correctness, such as for zkEVMs. Previously, I was an Associate Professor at Victoria University of Wellington, NZ. My research interests are in programming languages, compilers, static analysis and formal verification

David Pearce

Vitalik believes "ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing".  Formal verification is a key technology which many believe could significantly help.  However, it has yet to see wide adoption for a variety of reasons.  This panel will bring together formal verification experts working in blockchain to discuss the challenges faced in increasing the use of formal verification within the community.