中国科学院大学前沿交叉科学学院邀请中国科学院计算技术研究所研究员郭崎做“AI for System: 计算机系统自动设计”前沿学术报告
2025年4月16日（周三）下午15:10–17:00，第一届急需紧缺领域学科交叉高端论坛暨博士选题月——人工智能前沿交叉科学与技术论坛第十讲在雁栖湖西校区国际会议中心报告厅成功举办。中国科学院计算技术研究所研究员郭崎受邀作题为《AI for System: 计算机系统自动设计》的专题报告，报告由前沿交叉科学学院人工智能中心主任叶齐祥教授主持，人工智能方向博士生200余人参与聆听与交流。
AI for System: 计算机系统自动设计
报告聚焦于人工智能在计算机系统自动设计中的前沿应用。郭崎研究员围绕计算机系统设计的复杂性与高成本挑战，介绍了AI技术在处理器、操作系统、编译器及高性能库等关键模块自动化设计中的创新实践。之后重点阐述了在确保功能正确性的前提下，如何通过智能方法优化系统性能，并分享了团队在高性能软硬件代码生成、自动调优与多层次系统协同设计方面的研究成果。该报告不仅展示了AI技术在系统设计领域的突破潜力，也为未来系统架构设计提供了全新思路。
图一：郭崎研究员作专题报告
互动交流
在交流环节，师生们围绕“AI生成代码的安全性与可验证性”、“自动设计结果的可解释性”、“AI模型在异构系统设计中的适应性”等关键问题展开深入讨论。主讲人结合最新研究成果，对相关问题进行了详尽回应，并进一步探讨了AI驱动设计从研究原型走向工业部署的关键路径。现场互动氛围热烈，启发了多学科交叉背景下对系统设计自动化新范式的进一步思考。
聚焦计算机系统智能，启航自动设计新范式
作为人工智能前沿交叉科学与技术论坛的第十场报告，本次活动为国科大师生与计算机系统与人工智能交叉领域的专家搭建了高水平交流平台，推动了AI技术与系统架构设计的融合创新。未来，学院将持续组织此类前沿学术活动，促进自动化技术在芯片设计、操作系统优化及编译器智能化等领域的落地转化，助力智能计算生态的构建与关键技术突破。
报告人简介
郭崎，中国科学院计算技术研究所研究员、博士生导师，长期从事计算机系统及人工智能等相关研究。发表ISCA、MICRO、ASPLOS、HPCA、ICML、NeurIPS、IJCAI、AAAI等CCF-A类会议和期刊论文70余篇，授权国内外发明专利百余项。入选国家级青年人才、中国科学院青年科学家奖、中国科协首届青年人才托举工程等。曾获得国家自然科学二等奖、中国科学院杰出科技成就奖等。
