web3 security + formal methods @a16zcrypto; prev director of formal verification @rv_inc; phd @IllinoisCS; views == mine