David Pearce
@DavePearce
A background refresh was started because this profile was last fetched over a day ago.
- Country
- New Zealand
- Rank
- #94
- Profile
- View on GitHub
- Company
- ConsenSys
- Location
- New Zealand
- Blog/Website
- https://whileydave.com
- -
- @WhileyDave
- Hireable
- -
- Public Repos
- 77
- Public Gists
- 3
- Account
- User
- Joined GitHub
- Nov 16, 2010 (15 years, 1 month ago)
- Last Updated
- Mar 19, 2025 22:52
Bio
Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.
Followers
166
Following
6
Contributions (last year)
1,902
Similar Developers
