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