主题演讲嘉宾：冯新宇

冯新宇，华为编程语言首席专家，仓颉编程语言首席架构师，南京大学教授。主要研究方向为程序设计语言的设计与实现、程序设计语言理论、以及形式化程序验证。在华为主导仓颉编程语言的研发，以及安全系统编程语言的设计和实现，其他研究工作还包括操作系统和编译器的形式化验证。