Derek

데릭은 이더리움 재단에서 프로토콜 스나크화 작업을 하고 있습니다. 그는 케임브리지 대학교에서 형식 방법론 박사 학위를 받았습니다.