68人看过
编号 1137149
68人看过
关于我们 | 商务合作 | 服务条款 | 法律声明 | 隐私保护 | 广告服务 | 招聘英才 | 友情链接 | 站点地图 | 联系我们| 使用帮助
身份资质
领导华为编程语言实验室开展项目研发
南京大学计算机科学与技术系教授、博士生导师，现任华为编程语言首席架构师，主导华为编程语言研发。他于1999年和2002年在南京大学获得学士和硕士学位，并于2007年在耶鲁大学获得博士学位。冯新宇曾在Toyota Technological Institute at Chicago (TTIC)担任研究助理教授，主要从事程序验证、并发理论、程序设计语言理论等方面的研究。他在POPL、PLDI、ESOP和CONCUR等国际会议和期刊上发表了多篇论文，并担任多个国际会议的程序委员会成员。
冯新宇是华为“仓颉”编程语言的首席架构师，这款编程语言旨在面向全场景智能化应用开发，具有原生智能化、高性能、强安全等技术特色。仓颉采用模块化分层设计，空载内存仅为2.08MB，相比传统编程语言有显著优势。此外，仓颉支持全并发垃圾回收，减少应用线程的停顿时间，提高流畅性，并且支持多种语法糖、并发优化和与C语言的互操作。
冯新宇的研究方向包括程序设计语言的设计与实现、程序设计语言理论以及形式化程序验证。他曾获得PLDI'19优秀论文奖，并多次担任国际会议的程序委员会主席或委员。他在学术界和工业界都有显著成就，是编程语言领域的顶尖科学家之一。
客户评价