CertiK 공동 창립자인 Ronghui Gu 교수, VMware Systems Research Award 수상



New York, July 13, 2023 (GLOBE NEWSWIRE) -- CertiK의 공동 창립자이자 컬럼비아 대학교 컴퓨터 공학과 교수인 Ronghui Gu 교수가 2022년 VMware Systems Research Award를 수상했습니다.

VMware는 클라우드 인프라 및 가상화 기술 분야의 글로벌 리더입니다. VMware Systems Research Award는 VMware의 학술 부문에서 컴퓨터 공학 시스템 분야에서 잠재력과 전망이 있는 신흥 연구를 인정하고 지원하기 위해 설립되었으며, 컴퓨터 공학 분야의 발전에 큰 기여를 할 수 있는 획기적인 연구에 관심을 가지고 있습니다.

Ronghui Gu 교수는 시스템 검증 이론 분야에서의 기초적인 공헌으로 인정을 받았으며, 그는 자신의 연구 이론을 무결성(bug-free)과 안전한 시스템 소프트웨어의 실제 적용으로 전환하고 응용 분야를 확장했습니다.

Ronghui Gu 교수의 예일 대학교 시절 박사 논문은 그의 가장 훌륭한 성과 중 하나입니다. 이 혁신적인 연구는 CertiKOS 운영 체제 커널의 인증 작업에 관련된 복잡한 작업을 다루었으며, 이 작업은 컴파일러부터 운영 체제의 기본 구성 요소에 이르는 모든 내용을 포함합니다.

Ronghui Gu 교수의 지도 교수이자 CertiK의 공동 창립자인 Zhong Shao 교수는 "운영 체제 인증은 어려운 과제로, 스레드와 프로세스부터 물리적 및 가상 메모리 관리 등 여러 구성 요소의 모델을 포함합니다. Ronghui Gu는 CertiKOS 비전을 실현시키는 주요한 역할을 수행했다. 그는 복잡한 동시성 문제를 해결하면서 실제 시스템의 증명을 완료했다."라고 전했습니다.

코넬테크대의 학장 겸 부총장인 그렉 모리셋(Greg Morrisett) 교수는 "CertiKOS는 엄청난 도약이라고 생각한다. 이는 도구라기보다는 증명을 구축하는 방법으로 볼 수 있다 (물론 이 도구 자체도 흥미롭다)."고 말했습니다.

VMware 연구원인 Pratap Subrahmanyam은 "Ronghui Gu의 연구는 정형 검증 기술 발전 과정에서 중요한 데이터 포인트를 대표한다. 그는 복잡한 기술을 실제 환경에서 적용 가능하도록 만들었다. 이는 우리가 Ronghui Gu의 연구를 중요하게 여기는 이유 중 하나이다." 라고 말했으며, VMware 연구원인 Christos Karamanolis는 "Ronghui Gu의 깊고 폭넓은 정형 방법에 대한 연구는 놀라울 만큼 훌륭하다. 이는 핵심 플랫폼부터 양자 컴퓨팅과 같은 새로운 분야까지 넓은 관심을 가지고 있으며, 우리가 이 상을 수여할 때 중요하게 생각하는 체계적인 연구의 초점을 나타낸다."고 덧붙였습니다.

VMware 대학 연구 기금은 컬럼비아 대학교에 12.5만 달러를 지원하여 Ronghui Gu 교수의 지속적인 연구를 지원할 예정입니다. 이는 Ronghui Gu 교수의 독창성과 미래에 미칠 영향력, 그리고 연구 성과의 중요성을 반영하고 있습니다.

2018년, Ronghui Gu 교수와 예일대학교 컴퓨터 공학과 학과장인 Zhong Shao 교수는 블록체인 보안 솔루션을 제공하는 선도적인 업체인 CertiK을 공동 설립했습니다. CertiK은 최첨단 정형 검증, AI 감사 기술, 전문가 수동 감사를 활용하여 블록체인 프로토콜과 스마트 컨트랙트의 보안을 모니터링합니다.

Ronghui Gu 교수가 VMware Systems Research Award를 수상함으로써, 컴퓨터 공학과가 Web3 분야 기술 발전을 인정하고 있음을 보여줍니다. 이전에는 스탠퍼드대학교, 매사추세츠공과대학교, 퍼듀대학교 및 카네기멜론대학교의 컴퓨터 공학 교수들도 이 상을 수상한 바 있습니다.

CertiK 소개

뉴욕에 본사를 두고 있으며 예일대와 컬럼비아대 교수 두 분이 2018년에 설립한 CertiK은 학계 최첨단의 혁신 기술을 산업에 적용함으로써 기업이 중요한 소프트웨어 및 애플리케이션을 충분히 안전하고 올바른 환경에서 구축할 수 있도록 하여 Web3 세계를 보호하고 있습니다. CertiK은 현재 최첨단 정형 검증 기술, AI 감사 기술, 보안 전문가 수동 감사를 활용해 블록체인 프로토콜과 스마트 컨트랙트를 스캔 및 모니터링하여 그 안전성을 보장합니다.

현재까지 CertiK은 4000개 이상의 기업과 협력하여 7만 개 이상의 블록체인 코드 취약점을 탐지했으며, 4000억 달러 이상의 자산을 보호했습니다.

또한 CertiK은 Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital 등 VC들에게 투자를 받았습니다.

 

Contact Data