Everett Hildenbrandt
Runtime Vеrification 대표이사
기본 정보
에버렛 힐덴브란트는 현재 런타임 검증(Runtime Verification)의 CEO입니다.
연관 인물
Patrick MacKay
패트릭 맥케이는 Pi Squared의 공동 창립자이자 COO이며, Runtime V의 COO이기도 합니다. 그는 조지타운 대학교와 일리노이 대학교 어바나-샴페인 캠퍼스의 Guise School of Business를 졸업했습니다.
Petar Maksimovic
페타르 막시모비치는 현재 네더마인드에서 형식 검증 엔지니어 겸 사업 개발 책임자로 재직 중입니다. 이전에는 런타임 검증 회사에서 근무했습니다.
Grigore Rosu
Grigore Rosu는 Runtime Verification의 사장 겸 CEO, Pi Squared의 설립자 겸 CEO이며 University of Illinois at Urbana-Champaign의 컴퓨터 과학 교수입니다. 그는 University of California, San Diego의 Jacobs School of Engineering을 졸업했습니다.
Yilong Li
Yilong Li는 MegaETH의 공동 창립자이며 이전에는 Runtime Verification의 수석 소프트웨어 엔지니어였습니다. 그는 스탠포드 대학에서 컴퓨터 과학 박사 학위를 받았습니다.
Daejun Park
Daejun Park는 a16z crypto의 선임 블록체인 보안 엔지니어로, 특히 포트폴리오 회사와 일반적으로 web3 커뮤니티가 보안 기준을 높이는 데 도움이 되는 web3 보안을 위한 공식적 방법과 도구를 개발하고 있습니다.a16z crypto에 합류하기 전에 그는 Runtime Verification에서 공식 검증 책임자였습니다. 경력 초기에는 다른 기술 스타트업 Sparrow의 창립 멤버였습니다.Daejun은 일리노이 대학교 어바나-샴페인에서 컴퓨터 과학 박사 학위를 받았고, 서울대학교에서 학사 및 석사 학위를 받았습니다. 언어 매개변수 프로그램 검증에 대한 그의 연구는 OOPSLA'16에서 Distinguished Paper Award를 수상했습니다.
