David Pearce
Research Engineer (Smart Contracts) @Consensys
Signup · Get unlimited contacts
WORK HISTORY
Research Engineer (Smart Contracts) @Consensys
Applying formal methods to ensure trustworthy smart contracts.
EDUCATION
Imperial College London
Doctor of Philosophy (Ph.D.), Computer Science
Imperial College London
Master of Engineering (M.Eng.), Computer Science
SKILLS
ABOUT DAVID PEARCE
My primary interests are in Programming Languages, Compilers and Static Analysis. My PhD thesis focused on efficient algorithms for pointer analysis of C, and some of those ideas were incorporated into GCC. Since 2009, I have been developing the Whiley Programming Language (whiley.org) which is designed specifically to simplify program verification. Prior to that, I developed the Java Compiler Kit (JKit)- an open source Java Compiler aimed at simplifying static analysis.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.