Daejun Park
@daejunpark
1,273
Followers
263
Following
18
Media
127
Statuses
formal methods @a16zcrypto ; prev. director of formal verification @rv_inc ; phd @IllinoisCS
Joined August 2009
Don't wanna be here?
Send us removal request.