冯新宇,男,1978年生,我国编程语言领域知名科学家,南京大学计算机科学与技术系教授、博导,兼任华为编程语言首席专家,主导华为编程语言研发;分别于1999年和2002年在南京大学获学士和硕士学位;2007年于耶鲁大学获博士学位;在POPL、PLDI、LICS、CAV、ACM TOPLAS等...
IT之家从南京大学官方获悉，2019 年，华为启动仓颉编程语言项目，南京大学计算机科学与技术系冯新宇教授担任首席架构师，领导华为编程语言实验室开展项目研发。仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言，具有原生智能化、天生全场景、高性能，强安全等技术特色，拥有现代语言特性的集成、全方位的编译优化和...
IT之家从南京大学官方获悉,2019 年,华为启动仓颉编程语言项目,南京大学计算机科学与技术系冯新宇教授担任首席架构师,领导华为编程语言实验室开展项目研发。 仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能,强安全等技术特色,拥有现代语言特性的集成、全方位的编译优化和运行...
据南京大学官方消息,2019年,华为启动了仓颉编程语言项目,并邀请了南京大学计算机科学与技术系冯新宇教授担任首席架构师和领导华为编程语言实验室进行项目研发。仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能和强安全等技术特色。 除了冯新宇教授外,南京大学和华为还围绕下一...
冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究，是我国高校编程语言方向的专家。2010-2017年期间，冯新宇教授曾经在中科大就任教授，并于18年以后来到南京大学，目前在南京大学就任教授，并于2019年带领团队获得PLDI杰出论文奖。知乎@匿名用户 表示，冯新宇教授可能是在大陆高校就职发POPL和PL顶会最多...
冯新宇何许人也，接下来就为大家作一个介绍。冯新宇 教授 冯新宇，1978年生，南京大学教授，博士生导师，分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2001年7月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于Toyota Technological Instituteat Chicago(TTIC)任研究...
冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究,是我国高校编程语言方向的专家。 2010-2017年期间,冯新宇教授曾经在中科大就任教授,并于18年以后来到南京大学,目前在南京大学就任教授,并于2019年带领团队获得PLDI杰出论文奖。 知乎@匿名用户 表示,冯新宇教授可能是在大陆高校就职发POPL和PL顶会最多的...
近日,华为要自主研发编程语言的消息忽然在网上火了。 据微博博主@IT工程师 称,华为正在研发新的自主编程语言仓颉,领头人是南京大学的计算机科学与技术系博士生导师,冯新宇。 △图源微博@IT工程师,经授权 目前这件事尚未得到官方证实,但据知乎@匿名用户 透露,华为有意研究自己的程序语言,在行业内早已是公开的秘密。
赞 分享 科研之友微信新浪微博Facebook分享链接 冯新宇 南京大学,教授 / 科研之友号:42408124 科研之友人员唯一编号 1 项目 54 成果 1914 阅读 0 下载 185 被引 7 H-指数 主页 成果 相关人员 更多
冯新宇教授主要从事程序验证、并发理论、程序设计语言理论方面的研究,是我国高校编程语言方向的专家。 2010-2017年期间,冯新宇教授曾经在中科大就任教授,并于18年以后来到南京大学,目前在南京大学就任教授,并于2019年带领团队获得PLDI杰出论文奖。 知乎@匿名用户 表示,冯新宇教授可能是在大陆高校就职发POPL和PL顶会最多的...