formal methods @a16zcrypto; prev. director of formal verification @rv_inc; phd @IllinoisCS