Daejun Park
Daejun Park
@daejunpark
formal methods
@a16zcrypto
; prev. director of formal verification
@rv_inc
; phd
@IllinoisCS
434
Following
1.8k
Followers
