기본 정보
Daejun Park는 a16z crypto의 선임 블록체인 보안 엔지니어로, 특히 포트폴리오 회사와 일반적으로 web3 커뮤니티가 보안 기준을 높이는 데 도움이 되는 web3 보안을 위한 공식적 방법과 도구를 개발하고 있습니다.a16z crypto에 합류하기 전에 그는 Runtime Verification에서 공식 검증 책임자였습니다. 경력 초기에는 다른 기술 스타트업 Sparrow의 창립 멤버였습니다.Daejun은 일리노이 대학교 어바나-샴페인에서 컴퓨터 과학 박사 학위를 받았고, 서울대학교에서 학사 및 석사 학위를 받았습니다. 언어 매개변수 프로그램 검증에 대한 그의 연구는 OOPSLA'16에서 Distinguished Paper Award를 수상했습니다.