Everett Hildenbrandt
CEO at Runtime Vеrification
Thông tin cơ bản
Everett Hildenbrandt hiện là Giám đốc điều hành tại Runtime Verification.
Kinh nghiệm làm việc
Nhân vật liên quan
Patrick MacKay
Patrick MacKay là người đồng sáng lập và COO của Pi Squared, đồng thời ông cũng là COO của Runtime V. Ông tốt nghiệp Đại học Georgetown và Đại học Illinois tại Trường Kinh doanh Urbana-Champaign Guise.
Petar Maksimovic
Petar Maksimovic hiện là Kỹ sư Kiểm chứng Hình thức và Trưởng bộ phận Phát triển Kinh doanh tại Nethermind. Trước đây, ông từng làm việc tại Runtime Verification.
Grigore Rosu
Yilong Li
Yilong Li là người đồng sáng lập MegaETH và trước đây là Kỹ sư phần mềm cao cấp tại Xác minh thời gian chạy. Ông có bằng tiến sĩ về khoa học máy tính tại Đại học Stanford.
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ọ.Trướ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.Daejun 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.
