2007年图灵奖得主因感染新冠肺炎去世，享年75岁

2020-12-24 13:35分享至

当地时间12月23日，英特尔实验室量子硬件研究组总监James S. Clarke在社交媒体发文表示，他的父亲、2007年图灵奖得主爱德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎于12月23日不幸去世。爱德蒙·克拉克曾任美国卡内基梅隆大学计算机科学系教授，是ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，是模型检验方法的开创者之一，2007年获ACM图灵奖。（澎湃）原文链接

工信部新闻发言人闻库：5G终端连接数超2亿，要开展6G愿景研究

工信部新闻发言人闻库在国新办新闻发布会上表示，5G用户数量增长非常快，5G终端连接数超过2亿。数据显示，1~11月国内市场5G手机出货量1.44亿部，上市手机新机型累计199款，分别占到所有手机的51.4%和47.7%。进一步推动5G实现建设好、应用好、发展好的良好生态，还要展望未来，开展6G愿景研究，促进移动通信产业可持续发展。（第一财经）

2020-12-24

24小时热榜查看更多榜单

Claude破译哥德尔天书，80年笔记震撼数学界

黄仁勋离职，有家公司做梦都能笑醒

英伟达换帅，汽车圈为什么没慌？23小时前

“史上最严”湿实验预测基准发布：推理拉满、算力翻5倍也白搭16小时前

年入200亿，二手巨头要IPO了23小时前

美国大学新生人数血崩，哪些高校能活下来？19小时前

董宇辉复刻俞敏洪，9个月保质期蛋糕翻车20小时前

米兰EICMA上的中国电摩：九号赛格威首秀，中国两轮出海进入下半场23小时前

关于36氪

城市合作