David J. Pearce (@whileydave) 's Twitter Profile
David J. Pearce

@whileydave

[email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.

ID: 302526206

linkhttp://whileydave.com calendar_today21-05-2011 10:11:52

2,2K Tweet

1,1K Followers

3,3K Following