기본 정보
페타르 막시모비치는 현재 네더마인드에서 형식 검증 엔지니어 겸 사업 개발 책임자로 재직 중입니다. 이전에는 런타임 검증 회사에서 근무했습니다.
연관 인물
Patrick MacKay
패트릭 맥케이는 Pi Squared의 공동 창립자이자 COO이며, Runtime V의 COO이기도 합니다. 그는 조지타운 대학교와 일리노이 대학교 어바나-샴페인 캠퍼스의 Guise School of Business를 졸업했습니다.
Eduardo Carvalho
Eduardo Carvalho는 Valantis Labs의 공동 창립자이자 CTO이며 이전에는 Nethermind에서 Protocol Engineering 책임자로 근무했습니다. 그는 Imperial College London과 University of Lisbon의 과학부를 졸업했습니다.
Greg Vardy
Greg Vardy는 Valantis Labs의 공동 창립자이자 CEO이며 이전에는 Nethermind의 CTO를 역임했습니다. 그는 Durham University를 졸업했습니다.
Anneli Nowak
아넬리 노박은 네더마인드의 마케팅 책임자입니다.
Anett Rolikova
아넷 롤리코바는 ProgressBarsk의 커뮤니티 담당자이고, Ethereum Magicians의 운영 담당자입니다.
DanielC
DanielC는 Nethermind의 공동 CTO입니다.
Everett Hildenbrandt
에버렛 힐덴브란트는 현재 런타임 검증(Runtime Verification)의 CEO입니다.
Daejun Park
Daejun Park는 a16z crypto의 선임 블록체인 보안 엔지니어로, 특히 포트폴리오 회사와 일반적으로 web3 커뮤니티가 보안 기준을 높이는 데 도움이 되는 web3 보안을 위한 공식적 방법과 도구를 개발하고 있습니다.a16z crypto에 합류하기 전에 그는 Runtime Verification에서 공식 검증 책임자였습니다. 경력 초기에는 다른 기술 스타트업 Sparrow의 창립 멤버였습니다.Daejun은 일리노이 대학교 어바나-샴페인에서 컴퓨터 과학 박사 학위를 받았고, 서울대학교에서 학사 및 석사 학위를 받았습니다. 언어 매개변수 프로그램 검증에 대한 그의 연구는 OOPSLA'16에서 Distinguished Paper Award를 수상했습니다.
Michal Zajac
Michal Zajac은 Nethermind의 연구 책임자입니다. 그는 바르샤바 대학교를 졸업했습니다.
Joe Kohler
Joe Kohler는 Nethermind의 COO 겸 CLO이며 이전에는 Reed Smith LLP의 파트너였습니다. 그는 영국의 Oxford University를 졸업했습니다.
