冯教授的研究重心在于利用理论、先进的编程语言及工具来构建经过形式化认证的系统软件,确保软件的安全性和正确性达到最高标准。 冯新宇,华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授 除了主导仓颉编程语言的研发,冯新宇教授的其他工作还包括安全系统编程语言的设计和实现、操作系统内核验证、编译器验证以及细...
根据全球计算机权威排名csrankings显示,南京大学在编程语言领域名列全球23位,中国第1。 冯新宇简介 冯新宇,我国编程语言领域顶尖科学家,南京大学计算机科学与技术系教授、博导,兼任华为编程语言首席架构师,主导华为编程语言研发;曾于2019年带领团队获得PLDI杰出论文奖。分别于1999年和2002年在南京大学获学士和硕士学位;2007年...
南京大学官网显示，冯新宇教授于 1999 年获得南京大学计算机科学学士学位，2002 年获得南京大学计算机科学硕士学位，2007 年获得耶鲁大学计算机科学博士学位。冯新宇教授的介绍显示，他的研究兴趣是形式方法和编程语言领域。他对开发理论、编程语言和工具并构建经过正式认证的系统软件特别感兴趣，并严格保证安全性和正确性。此...
南京大学计算机软件新技术国家重点实验室 被引频次 546 成果数 3 H指数 0 G指数 0领域: 计算机科学与技术 2003年成果数2 2006年被引量55 全部年份 全部类型 全部作者 按时间降序 Path compression in forwarding-based reliable mobile agent communications 2015 - Cao, Jiannong,Zhang, Liang,Feng, Xinyu,......
冯新宇 南京大学,教授 / 科研之友号:42408124 科研之友人员唯一编号 1 项目 54 成果 1871 阅读 0 下载 185 被引 7 H-指数 主页 成果
据南京大学官方消息,2019年,华为启动了仓颉编程语言项目,并邀请了南京大学计算机科学与技术系冯新宇教授担任首席架构师和领导华为编程语言实验室进行项目研发。仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能和强安全等技术特色。
据南京大学官方消息,2019年,华为启动仓颉编程语言项目,南京大学计算机科学与技术系冯新宇教授担任首席架构师,领导华为编程语言实验室开展项目研发。 仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能,强安全等技术特色,拥有现代语言特性的集成、全方位的编译优化和运行时实现、...
根据公开的信息来看，南京大学计算机系冯新宇教授在计算机科学领域拥有多年的从业经验和学术研究成果。他在图像处理、计算机视觉、机器学习等方向上的研究取得了一定的成果，并在相关领域内发表了多篇高质量的论文。此外，他也在南京大学计算机系担任多项教学和科研任务，培养了众多优秀的学生。因此，冯新宇教授的学术水平和...
据微博博主@IT工程师 称，华为正在研发新的自主编程语言仓颉，领头人是南京大学的计算机科学与技术系博士生导师，冯新宇。 △图源微博@IT工程师，经授权 目前这件事尚未得到官方证实，但据知乎@匿名用户 透露，华为有意研究自己的程序语言，在行业内早已是公开的秘密。 「华为自研编程语言并非秘密」 “编译器实验室...
IT之家从南京大学官方获悉,2019 年,华为启动仓颉编程语言项目,南京大学计算机科学与技术系冯新宇教授担任首席架构师,领导华为编程语言实验室开展项目研发。 仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能,强安全等技术特色,拥有现代语言特性的集成、全方位的编译优化和运行...