.hd-box .hd-fr

华为下一代编程语言“仓颉”首席架构师揭晓:南京大学冯新宇教授

2024-06-22 17:16IT之家(汪淼)140评

IT之家 6 月 22 日消息,在昨日的 HDC 2024 华为开发者大会主题演讲上,华为终端 BG 软件部总裁龚体正式官宣了华为自研仓颉编程语言。该语言历经 5 年研发沉淀,现已开启开发者预览。

IT之家从南京大学官方获悉,2019 年,华为启动仓颉编程语言项目,南京大学计算机科学与技术系冯新宇教授担任首席架构师,领导华为编程语言实验室开展项目研发。

仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能,强安全等技术特色,拥有现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能 Agent 声明式编程框架、以及开箱即用的 IDE 工具链支持。

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

IT之家注:“泛在操作系统(Ubiquitous Operating System)”概念由北京大学梅宏院士于 2018 年在《IEEE Computer》杂志的封面文章“走向泛在操作系统:一种软件定义的视角”中提出,来表示不限于 Windows / Linux 这样的传统操作系统的未来新型操作系统。泛在操作系统所管理的不仅包括主机、PC 端、移动终端、物联终端等不同计算设备,也包括面向新型人机物融合应用场景的各种不同新型计算环境。

南京大学官网显示,冯新宇教授于 1999 年获得南京大学计算机科学学士学位,2002 年获得南京大学计算机科学硕士学位,2007 年获得耶鲁大学计算机科学博士学位。

冯新宇教授的介绍显示,他的研究兴趣是形式方法和编程语言领域。他对开发理论、编程语言和工具并构建经过正式认证的系统软件特别感兴趣,并严格保证安全性和正确性。

此外,他曾在南京大学、香港理工大学计算机系、AT&T 香农实验室、耶鲁大学计算机科学系、芝加哥丰田技术研究所、三星电子(中国)研究中心、丹麦技术大学(DTU)、中科大・耶鲁高可信软件联合研究中心、中国科大・国创高可信软件工程中心、中国科学技术大学(USTC)任职,于 2018 年回到南京大学任教。

华为 HDC 2024 开发者大会专题

广告声明:文内含有的对外跳转链接(包括不限于超链接、二维码、口令等形式),用于传递更多信息,节省甄选时间,结果仅供参考,IT之家所有文章均包含本声明。

下载IT之家APP,分享赚金币换豪礼
相关文章
大家都在买广告
热门评论
查看更多评论