顾荣辉,哥伦比亚大学计算机系教授、CertiK联合创始人。新加坡金融管理局(MAS)国际技术咨询委员会委员,香港政府第三代互联网(Web3.0)发展专责小组成员。顾荣辉本科毕业于清华大学,2016 年于耶鲁大学获得计算机科学博士学位。同时,顾荣辉是操作系统、软件安全以及形式化验证方面的专家,也是CertiKOS的主要设计者和开发者。
顾荣辉教授是哥伦比亚大学计算机系教授,本科毕业于清华大学,在耶鲁大学获得计算机科学博士学位。同时他也是操作系统、软件安全以及形式化验证方面的专家,世界上第一个被完全证明的并发操作系统内核CertiKOS的主要设计者和开发者。顾荣辉教授因在系统安全领域的贡献,获得了亚马逊研究奖、OSDI Jay Lepreau最佳论文奖、SOSP最佳论文...
顾荣辉教授是哥伦比亚大学计算机系教授,本科毕业于清华大学,在耶鲁大学获得计算机科学博士学位。同时他也是操作系统、软件安全以及形式化验证方面的专家,世界上第一个被完全证明的并发操作系统内核CertiKOS的主要设计者和开发者。顾荣辉教授因在系统安全领域的贡献,获得了亚马逊研究奖、OSDI Jay Lepreau最佳论文奖、SOSP最佳论文...
顾荣辉本科毕业于清华大学，2016 年于耶鲁大学获得计算机科学博士学位。同时，顾荣辉是操作系统、软件安全以及形式化验证方面的专家，也是CertiKOS的主要设计者和开发者。新闻报道 2023年4月，CertiK的联合创始人顾荣辉接受极客公园采访，他提到“审计报告不是一枚章，不是「防弹证书」，而是一个动态的安全评估。”2023年7...