冯新宇

华为编程语言首席专家，仓颉首席架构师

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