科大国创，华为仓颉编程语言守护者-韭研公社

登录注册

科大国创，华为仓颉编程语言守护者

一个怪仁

2022-10-26 11:09:56

华为副总裁、计算产品线总裁邓泰华2021年 9 月在接受采访时表示，华为2022年将推出自研的编程语言仓颉，将鸿蒙和欧拉在应用开发生态上进行打通。
为消费者业务软件部总裁龚体宣布，华为将发布为HarmonyOS全新研发的编程语言，为鸿蒙生态基础设施建设补上最后一环。

过去的华为使用谷歌安卓系统开发MEUI，现在的华为使用自研的鸿蒙操作系统，但操作系统的根技术错综复杂，如何让系统牢不可破，还得从编程语言，编译器等根技术入手。
系统崛起的保障是生态，任何的根技术布局都是为发展生态提供服务。很显然，能够让华为成为比肩安卓，苹果的软件产业巨头，真正走上成为世界级操作系统厂商的道路。

华为正在研发新的自主编程语言仓颉，领头人是南京大学的计算机科学与技术系博士生导师——冯新宇

冯新宇，1978年生，南京大学教授，博士生导师，分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2001年7月至2002年1月于香港理工大学担任研究助理。2007年9月至2010年5月于Toyota Technological Instituteat Chicago(TTIC)任研究助理教授（Research Assistant Professor）。2010年至2017年加入中国科学技术大学计算机科学与技术学院任教授，2017年与弟子梁红瑾（优青，现为南京大学计算机系副教授）一起加入南京大学计算机科学与技术系。
冯新宇教授可能是在大陆高校就职发POPL（程序语言理论顶级国际会议，是编程语言领域历史最久、水平最高的国际会议，它是国际公认的讨论编程语言和编程系统最新突破的最主要论坛）和PL顶会最多的人（之一）。2011年其在中科大任教期间发表的POPL论文是中国大陆高校和科研机构首次以第一作者单位名义发表在此会议上。
其带领的南京大学程序设计语言研究组获得2019PLDI最佳论文奖（PLDI是程序设计语言领域的顶级会议之一，创办于1979年，其论文范围包括语言设计、语言实现、程序分析、编程模型和程序逻辑等围绕程序设计语言的理论和技术），此次获奖也是PLDI召开40年来中国大陆科研院所为第一单位的论文首次获得PLDI Distinguished Paper Award。

8月9日消息，华为技术有限公司华为编程语言实验室主任冯新宇等领导和专家一行莅临科大国创开展技术交流座谈会。据悉，华为技术有限公司与科大国创合作由来已久，双方一直在多个领域保持深度合作。此次技术交流，有助于双方建立长期合作机制，实现共赢。

科大国创主营业务之一，高可信软件指可靠安全性和保密安全性标准极高的软件。公司依托中科大软件安全实验室和中国科大——国创高可信软件工程中心技术团队，经过 10 年多的相关理论研究，在嵌入式操作系统验证、关 键算法的形式化验证、安全 C 程序验证工具和 C/C++/Java 程序分析等方面完成了诸多理论和技术突破， 为未来机器编程打下基础。在此基础上，公司以自主的智能算法研发了国际领先的高可信程序分析和程序验证等原创软件产品，通过基于静态分析的标准符合性分析与程序缺陷挖掘、形式化规范语言描述程序功能、演绎推理产生验证条件、利用定理证明进行自动验证等功能或方式，实现高可信软件智能验证，逐步实现软件自动生成、机器编程，为人工智能、机器人、无人驾驶、军工、航天、核电等关键领域的软件安全可靠提供保障。目前，公司已正式发布国产自主可控的“USTCHCS 高可信分析工具集”和“高可信软件验证平台”。

综合来看，华为自主的仓颉编程语言大概率是使用了科大国创的高可信软件进行验证，华为主管仓颉语言的冯新宇教授莅临科大国创考察的目的推测只有这一个。

据华为官方公告，第四届华为开发者大会2022将在11月4日-6日在华为东莞松山湖基地举行。

鸿蒙编程语言或问世
另外，在去年的华为开发者大会上，华为宣布为消费者业务软件部总裁龚体宣布，华为将发布为HarmonyOS全新研发的编程语言，为鸿蒙生态基础设施建设补上最后一环。
今年6月15日，华为公司副总裁、计算产品线总裁邓泰华表示：编程语言包括底层的编程语言，计划在今年下半年的大会上发布，支持多样性算力。仓颉是上层应用编程语言，也在开发过程当中，后面合适的时机会做正式的发布。（来自韭研公社APP）

声明：文章观点来自网友，仅为作者个人研究意见，不代表韭研公社观点及立场，站内所有文章均不构成投资建议，请投资者注意风险，独立审慎决策。

科大国创

润和软件

诚迈科技

创意信息

工分