Pikagi
Daejun Park Profile
Daejun Park

@daejunpark

1,315
Followers
270
Following
18
Media
140
Statuses

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

https://t.co/mMukEIplnm
Joined August 2009
Don't wanna be here? Send us removal request.
@GuidoVranken
Guido Vranken
@GuidoVranken
Limburg, Nederland
@storysylee
S.Y. Lee (꧁IP꧂)
@storysylee
NYC/SF/SEOUL
@RareSkills_io
RareSkills
@RareSkills_io
Online
@shunduquar
shung🌞🌈🌱
@shunduquar
@0xScourgedev
0xScourgedev
@0xScourgedev
Canada
@IsilDillig
Isil Dillig
@IsilDillig
@adn_park
Aiden Park
@adn_park
@cawfree
63617766726565
@cawfree
scouser
@pillip_youn
pillip
@pillip_youn
@PrivacyScaling
Privacy & Scaling Explorations
@PrivacyScaling
@eigenlayer
EigenLayer
@eigenlayer
Ethereum
@RiscZero
RISC Zero 🟡
@RiscZero
zkVM 1.0
@blackbigswan
bbsz
@blackbigswan
Europa
@berndartmueller
BΞrnd
@berndartmueller
Calldata
@nican0r
nican0r
@nican0r
@GalloDaSballo
Alex the Entreprenerd
@GalloDaSballo
@RaoulSaffron
Raoul
@RaoulSaffron
@PaulCaf
Paul Cafiero
@PaulCaf
Beacon, NY
@gndizzy
George Niculae
@gndizzy
@elder_plinius
Pliny the Liberator 🐉
@elder_plinius
.-.-| GODMOD3.AI |-.-.