主讲人： 陈云霁 中国科学院计算技术研究所副所长、研究员、国家杰青
报告时间：2025年04月24日（星期四）14:30-16:00
报告地点：厦门大学翔安校区信息学院1号楼108
报告摘要：
图灵的博士导师阿隆佐•丘奇（Alonzo Church）在1957年提出了机器能否自动设计电路的丘奇问题（Church's Problem）。这个问题是计算机和人工智能学者领域的经典世界难题。但此前业界几十年的探索却一直没有突出的进展，机器只能设计一千个门左右的“玩具”电路。我们通过二十年的努力，在此问题上取得了突破，形成了国际上首个完全由人工智能自动设计的CPU芯片“启蒙1号”。该芯片包含了超过4,000,000个逻辑门，被Nature新闻报道为“对中国芯片发展的好消息”。在此基础上，我们希望能发展出能自动设计计算机的芯片、编译器、算法库和操作系统的计算机系统结构大模型。
报告人简介：
陈云霁，中国科学院计算技术研究所副所长，处理器芯片全国重点实验室主任，CCF体系结构专委会主任。长期从事处理器芯片与人工智能的交叉研究，研制了国际首款深度学习处理器芯片（寒武纪1号），被Science杂志刊文评价为深度学习处理器的“先驱”和“引领者”。曾是龙芯3号CPU的主架构师之一。2019年开设了国内首门智能计算系统课程。该课程已被国内百所高校采用，培养了学生1.8万人。2020年编写的《智能计算系统》教材已重印7次，曾列京东大学教材排行版第1名。作为第一完成人，曾获国家自然科学二等奖（我国处理器芯片领域历史上唯一的国家自然科学奖）。获国家杰出青年科学基金、全国五一劳动奖章、中国青年五四奖章、何梁何利科技创新奖，被MIT技术评论评为全球35位杰出青年创新者。
邀请人：计算机科学与技术系 刘向荣教授
