Dimitar Bounov

Consensys the interwebs Making tools for Solidity (Scribble, Maru, etc...). Interested in languages, security and verification.