Daejun Park

Daejun Park là Kỹ sư bảo mật chuỗi khối cao cấp tại a16z crypto, phát triển các phương pháp và công cụ chính thức cho bảo mật web3 để giúp các công ty đầu tư nói riêng và cộng đồng web3 nói chung nâng cao tiêu chuẩn bảo mật của họ.\n\nTrước khi gia nhập a16z crypto, anh ấy là Giám đốc Xác minh Chính thức tại Xác minh Thời gian chạy. Thời gian đầu trong sự nghiệp của mình, anh ấy là thành viên sáng lập của một công ty khởi nghiệp công nghệ khác là Sparrow.\n\nDaejun nhận bằng tiến sĩ. về Khoa học Máy tính của Đại học Illinois tại Urbana-Champaign, và bằng Cử nhân và Thạc sĩ của ông từ Đại học Quốc gia Seoul. Công trình của anh ấy về xác minh chương trình tham số ngôn ngữ đã nhận được Giải thưởng Paper Xuất sắc tại OOPSLA'16.