【学术报告】仓颉编程语言的设计和实现

报告题目：仓颉编程语言的设计和实现

报告人：  冯新宇

报告时间： 2025年11月21日下午2:30

报告地点： 中国矿业大学南湖校区计A501

摘要:仓颉编程语言是华为推出的一款新型全场景智慧化应用编程语言，旨在面向万物互联的智能世界，为应用开发者带来高效的开发体验和卓越的性能竞争力。本报告将介绍仓颉编程语言的起源与设计理念、当前面临的关键技术挑战、语言的社区和生态建设情况、以及大模型时代，如何通过编程语言支持原生智能应用开发的思考。

报告人简介：冯新宇，南京大学教授，华为编程语言首席专家，仓颉编程语言首席架构师。主要研究方向为编程语言的设计与实现、编程语言理论、以及形式化程序验证。除了主导仓颉编程语言的研发，他的其他工作还包括安全系统编程语言的设计和实现、操作系统内核验证、编译器验证、以及细粒度/无锁并发算法验证等，相关工作获PLDI'19优秀论文奖。他先后担任APLAS'15、APLAS'17和SETTA'18的程序委员会主席或大会主席，并多次担任POPL和PLDI等国际会议的程序委员会委员。