CertiK 공동 창립자 구용휘 교수, VMware의 중요한 학술 상 수상, 학계 엘리트가 Web3.0 시대를 열다

저자: CertiK

CertiK 공동 창립자이자 콜롬비아 대학교 컴퓨터 과학과의 구용휘 교수는 주목받는 2022년 VMware Systems Research Award를 수상했습니다.

VMware는 클라우드 컴퓨팅 인프라와 가상화 기술의 글로벌 리더입니다. VMware Systems Research Award는 VMware 학술 부서에서 설립하였으며, 컴퓨터 과학 시스템 분야의 잠재력과 유망한 신흥 연구를 인정하고 지원하며, 컴퓨터 과학 분야의 발전을 크게 촉진할 수 있는 획기적인 연구에 주목합니다.

구용휘 교수는 시스템 검증 이론에 대한 기초적인 기여로 널리 인정받고 있습니다. 그는 또한 이론적 작업 결과를 무결점이고 안전한 시스템 소프트웨어의 실제 응용으로 전환하였으며, 그 응용 분야를 확장하였습니다.

예일대학교 시절의 박사 논문은 구용휘 교수의 가장 뛰어난 업적 중 하나입니다. 이 혁신적인 작업은 CertiKOS 운영 체제 커널의 인증이라는 복잡한 과제를 포함하며, 이 복잡한 작업은 컴파일러에서 운영 체제 기본 구성 요소에 이르는 모든 내용을 포함합니다.

구용휘 교수의 멘토이자 CertiK 회사 공동 창립자인 샤오종 교수는 "운영 체제 인증은 스레드와 프로세스에서 물리적 및 가상 메모리 관리에 이르는 많은 구성 요소의 모델을 포함하는 어려운 작업입니다. 구용휘는 CertiKOS 비전을 현실로 만드는 주요 추진자입니다: 그는 동시성의 복잡성을 해결하면서 실제 시스템의 증명을 완료했습니다."라고 말했습니다.

코넬 대학교 공과대학 학장 겸 부교무처장인 그렉 모리셋 교수는 "저는 CertiKOS가 엄청난 도약이라고 생각합니다. 그것이 도구라기보다는 증명을 구축하는 방법이라고 할 수 있습니다(물론 이 도구 자체도 멋집니다)."라고 언급했습니다.

VMware 연구원 프라탑 수브라흐마니암은 "구용휘의 작업은 형식적 검증 기술 발전 과정에서 중요한 데이터 포인트를 나타냅니다. 그는 본래 심오한 기술이 실제 환경에서 적용될 수 있도록 하였습니다. 이것이 우리가 구용휘의 연구가 매우 가치 있다고 생각하는 이유 중 하나입니다."라고 말했습니다.

VMware 연구원 크리스토스 카라마놀리스는 "구용휘의 형식적 방법 연구에 대한 깊이, 폭 및 관심—핵심 플랫폼과 양자 컴퓨팅 등 신흥 분야의 발전 촉진을 포함하여—은 매우 놀랍습니다. 이는 우리가 이 상을 수여할 때 중시하는 시스템 연구의 초점을 나타냅니다."라고 덧붙였습니다.

VMware 대학 연구 기금은 콜롬비아 대학교에 12.5만 달러를 제공하여 구 교수의 지속적인 연구를 지원할 예정이며, 이는 구 교수의 독창성, 미래 영향력의 잠재성 및 연구 결과의 중요성을 반영합니다.

VMware Systems Research Award는 구용휘 교수에 대한 인정을 통해 컴퓨터 과학 학계의 첨단 기술이 Web3.0 분야에 침투하고 있음을 보여줍니다. 이전 수상자로는 스탠포드 대학교 컴퓨터 과학의 마테이 자하리아 교수, 매사추세츠 공과대학교 컴퓨터 과학의 팀 크라스카 및 모하마드 알리자데 교수, 카네기 멜론 대학교 컴퓨터 과학의 저스틴 셔리 및 라시미 비나약 교수 등이 있습니다.