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