微精选

南大教授领衔，华为发布通用编程语言“仓颉”

2024年6月21日，在华为开发者大会（HDC）上，华为发布了一款全新的编程语言“仓颉”。仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。仓颉语言的成功研发，表明我国具备了现代通用编程语言设计和先进编译器研制的核心技术能力，同时也组织培养了一支具备国际一流竞争力的专业队伍。

值得注意的是，南京大学计算机科学与技术系冯新宇教授担任“仓颉编程语言”项目首席架构师，领导华为编程语言实验室开展项目研发。

编程语言作为开发者表达计算思维的基本媒介，是软件开发的基础工具和软件生态的入口门户，是具有重要战略意义的基础软件。此前主流的通用编程语言均源于国外。

2019年，华为启动仓颉编程语言项目，南京大学计算机科学与技术系冯新宇教授担任首席架构师，领导华为编程语言实验室开展项目研发。仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言，具有原生智能化、天生全场景、高性能，强安全等技术特色。它通过现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能Agent声明式编程框架、以及开箱即用的IDE工具链支持，为鸿蒙原生应用开发打造友好开发体验和卓越程序性能。

历经5年聚力攻关，仓颉编程语言当前已经完成设计与实现，并启动了开发者预览。仓颉语言的发布，代表我国在基础软件研发领域取得又一项重要进步。仓颉语言的成功研发，表明我国具备了现代通用编程语言设计和先进编译器研制的核心技术能力，同时也组织培养了一支具备国际一流竞争力的专业队伍。

除了派出程序设计语言学术带头人冯新宇教授担任华为编程语言首席专家，南京大学和华为还围绕下一代程序设计技术开展了长期全面的合作。当前多个团队依托华为-南京大学软件新技术联合实验室，在泛在操作系统应用开发框架、IDE代码提示和智能代码生成技术、程序分析框架和工具、跨语言互操作和代码转换工具等方面开展联合研发，共同为仓颉编程语言构建丰富多元的软件生态环境。

CS Rankings排名：南大软件工程全球第一，编程语言中国第一

根据全球计算机权威排名csrankings显示，南京大学在软件工程领域位居全球第一，高于卡耐基梅隆大学、北京大学、新加坡管理大学、伊利诺伊大学香槟分校等世界名校。

根据全球计算机权威排名csrankings显示，南京大学在编程语言领域名列全球23位，中国第1。

冯新宇简介

冯新宇，我国编程语言领域顶尖科学家，南京大学计算机科学与技术系教授、博导，兼任华为编程语言首席架构师，主导华为编程语言研发；曾于2019年带领团队获得PLDI杰出论文奖。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago (TTIC)任研究助理教授（Research Assistant Professor）。

主要从事程序验证、并发理论、程序设计语言理论方面的研究，在 POPL、PLDI、ESOP和CONCUR等知名国际会议和期刊上发表论文10余篇。担任APLAS 2011、APLAS 2008和TASE 2009、POPL’24（国内唯一上榜的学者）的程序委员会成员。

编辑、审核：大可