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

　　从南京大学官方获悉，2019 年，华为启动仓颉编程语言项目，仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言，具有原生智能化、天生全场景、高性能，强安全等技术特色，拥有现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能 Agent 除了派出程序设计语言学术带头人冯新宇教授担任华为编程语言首席专家，南京大学官网显示，冯新宇教授于 1999 年获得南京大学计算机科学学士学位，2002 年获得南京大学计算机科学硕士学位，2007 年获得耶鲁大学计算机科学博士学位。

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

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