David Pearce
Research Engineer (Smart Contracts) at ConsenSys
Wellington, Wellington, New Zealand
Summary
🤩
Rockstar🎓
Top SchoolDavid Pearce is a research engineer specializing in smart contracts, formal verification, compilers and static analysis with 17 years of experience and a PhD in Computer Science from Imperial College London. He is the author of the Whiley programming language, a verification-focused language he has developed since 2009, and his doctoral work on efficient pointer analysis for C influenced GCC. Currently researching smart contract safety at ConsenSys, he blends deep academic foundations with practical tooling experience, having also created the Java Compiler Kit to simplify static analysis. Based in Wellington, New Zealand, he brings a rare combination of compiler theory and applied security for emerging blockchain languages and verification workflows.
17 years of coding experience
Master of Engineering (M.Eng.), Computer Science, Master of Engineering (M.Eng.), Computer Science at Imperial College LondonOundle School
Stackoverflow
721reputation
8kreached
27answers
19questions
Github Skills (79)
benchmark10
interpreter10
zksnark10
highlighter10
smart-contracts10
java-bytecode10
latex10
bytecode10
golang10
compiler10
verification10
benchmarking10
dafny10
java10
layer210
Programming languages (16)
Github contributions (5)
LFDT-Lineth/zkc
Aug 2024 - Jul 2026
A port of the Corset tool into Go
Contributions:36 releases, 84 reviews, 762 PRs in 2 years
gogolangzero-knowledge-proofs
Whiley/Whiley2C
May 2020 - Jun 2022
A C backend for the Whiley Compiler
Contributions:15 commits, 1 PR, 15 pushes in 2 years 1 month
backendcompiler
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.