多家媒体报道:CertiK顾荣辉教授解密Web3.0新时代安全之道
本刊专访CertiK联合创始人、新加坡金管局国际技术咨询委员会委员、香港Web3.0发展专责小组成员顾荣辉教授,整理后全文如下。Q:您认为,什么属性在Web3.0时代最为重要?顾荣辉:我个人认为安全性对于Web3.0的可持续发展最为重要。Web3.0被认为是区块链技术、人工智能、大数据等新技术与互联网的深度融合,它的出现将会带...
最强辅助AI来了!执法人:感觉不是一个人在战斗
“刘晏,迅速前往污水总排放口查看自动监控设施取样情况。”“顾荣辉,根据你传回的画面,综合判断,可能存在数据造假问题,立刻仔细检查自动监控分析仪参数设置,固定证据。”在日前组织的上海市自动监控专项执法行动中,执法总队总队长吴惠彪正在指挥部进行调度指挥,他面前的大屏跟踪显示着各前方队员在执法现场的实时画面,大屏...
耶鲁CS系主任邵中教授与哥大顾荣辉教授联手解决安全问题痛点,打造...
由耶鲁大学计算机科学系教授邵中(详见雷锋网此前报道:《最牛华人“程序员”邵中,全世界程序员的命运都可能因他而变》)及其弟子、哥伦比亚大学计算机系助理教授顾荣辉带领的形式化验证智能合约项目CertiK,在耶鲁大学数十年的研究成果的基础上,致力于为现有所有的区块链应用提供最先进的安全性服务(官网:certik)。在...
对话Web3 安全超级独角兽 CertiK:「誉满天下,谤满天下」
你可以将CertiK形容为「明星公司」。它的创始人是两位安全领域的顶尖学者,分别为耶鲁大学计算机系主任、终身教授邵中,及其学生、现哥伦比亚大学计算机系教授顾荣辉。2016年,他们研发出了全球首个「无漏洞、不可攻破」的安全操作系统CertiKOS,并于2017年创立公司、将这一技术应用到了Web3领域。直至2020...
亚马逊研究奖公布陈怡然、陈丹琦、吴佳俊等获奖华人占比三分之一
顾荣辉哥伦比亚大学获奖理由:LinuxKVM虚拟机管理程序的微验证——虚拟机机密性和完整性证明BinHu伊利诺伊大学香槟分校获奖理由:用于关键性环境安全决策的鲁棒对抗强化学习LifuHuang弗吉尼亚理工学院获奖理由:自然语言理解领域事件时间和因果知识的获取及概括...
清华85后4年打造20亿美元黑马 Web3=新财富密码?|互联网|区块链|...
从2018年顾荣辉与其读博时的导师邵中教授正式创办CertiK算起,仅仅用了4年的时间,CertiK便估值高达20亿美元,成为全球最具潜力的独角兽之一(www.e993.com)2024年6月29日。作为CertiK背后的核心人物,CertiK的CEO顾荣辉是一个不折不扣的85后学霸:从清华大学本科生到耶鲁大学计算机博士,再到哥伦比亚大学教授。
估值120亿,Web3诞生一只独角兽:老虎高盛红杉投了
顾荣辉教授的清华大学本科背景帮助他搭建了豪华的CertiK团队,好几位团队高管也同样清华出身。首席运营官曹亚昕博士毕业于清华电子系,是前清华紫光集团副总裁;商务副总裁姜育强是从小在清华长大的“老”清华人。同样毕业于清华计算机系的“贵系人”还包括首席技术官倪兆中(曾多年担任IOI竞赛总教练),技术高管章准平、李申...
北大清华新秀畅谈成功经验
顾荣辉清华自主招生加20分清华大学计算机科学与技术系我刚上高中时,就在老师的指导下确立了“竞赛促高考”的方案。因为现在高考考的内容远远超出了书本的要求,参加竞赛就是为了开阔自己的眼界,激发个人的潜能。高三上学期我便取得了数学竞赛省一等奖,化学竞赛省二等奖的好成绩。一中的老师总是引导我们自己去探索、...
哥大教授携军用级别安全技术加入DCC 分布式银行安防全面升级
据美国CNBC消息,全球领先的形式化验证技术CertiK项目联合创始人、哥伦比亚大学顾荣辉教授近日以顾问身份加入全球首个分布式银行公链DCC(DistributedCreditChain)。他将为DCC生态注入最新的形式化验证技术,为DCC的安全运行进一步保驾护航。据悉,形式化验证技术是由顾荣辉教授与邵中教授(耶鲁大学计算机系主任,终身教授)历时多...