时间：2025年9月22日（周一） 8:30

地点：海淀校园英东楼二层演讲厅

主题：仓颉编程语言的设计和实现

主讲嘉宾：南京大学教授，华为编程语言首席专家，仓颉编程语言首席架构师冯新宇

主办单位：北京师范大学人工智能学院

主持人：北京师范大学人工智能学院，计卫星

主讲人简介：

冯新宇，南京大学教授，华为编程语言首席专家，仓颉编程语言首席架构师。主要研究方向为编程语言理论和形式化程序验证。在POPL、PLDI等编程语言领域国际会议发表论文多篇，多次担任相关会议的程序委员会委员，或PLDI'19优秀论文奖、中创软件人才奖、CCF NASAC-东软青年软件创新奖等。

报名二维码