Daejun Park is a Senior Blockchain Security Engineer at Andreessen Horowitz since May 2022. Previously, Daejun held several roles at Runtime Verification Inc from January 2018 to April 2022, including Director of Formal Verification, where responsibilities involved overseeing a team focused on the formal verification of smart contracts and consensus protocols. Additionally, Daejun served as Tech Lead and Formal Verification Engineer, and completed a Research Internship at Microsoft Research in 2017, concentrating on SNARKs for verifiable AI training. Earlier career experiences include serving as a Founding Engineer at Sparrow Co., Ltd., where Daejun developed static analysis tools to identify memory safety issues in embedded systems software. Daejun holds a Bachelor of Science in Computer Science and Engineering from Seoul National University and a Doctor of Philosophy in Computer Science from the University of Illinois Urbana-Champaign.
This person is not in the org chart
This person is not in any teams
This person is not in any offices