华为自研编程语言仓颉首度亮相，引领全球软件研发新潮流！

历经 5 年聚力攻关，久闻于世的仓颉编程语言终于首次公开发布，已完成设计与实现，并启动了开发者预览。

最新消息，仓颉编程语言背后的带头人 —— 华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授冯新宇确认出席 2024 全球软件研发技术大会，将发表《仓颉：一款全场景智慧化应用编程语言》主题演讲（Keynote），分享关于仓颉编程语言的设计理念、起源和挑战，以及大模型时代计算机编程语言发展的思考。

作为指引软件行业创新趋势的标志性盛会，SDCon 2024 全球软件研发技术大会将于 7 月 4 日至 5 日在北京威斯汀酒店盛大举办，不仅邀请到了软件界的技术巨擘，包括 MIT 计算机与 AI 实验室（CSAIL）副主任、ACM Fellow Daniel Jackson 和世界著名软件架构大师、云原生及微服务领域技术先驱 Chris Richardson 等，还有微软、百度、阿里、腾讯、字节、京东、小红书、智源研究院等 50+ 企业及组织的资深技术专家齐聚，分享软件开发智能化、大模型应用开发、云原生等软件开发全生命周期的实战干货经验。

仓颉编程语言首席架构师

出席 SDCon 并发表主题演讲

华为仓颉编程语言于 2019 年启动，冯新宇教授担任首席架构师，领导华为编程语言实验室开展项目研发。此外，他还是一位在编程语言和形式化方法领域深具影响力的学者，主要研究方向为程序设计语言的设计与实现、程序设计语言理论、以及形式化程序验证。冯教授的研究重心在于利用理论、先进的编程语言及工具来构建经过形式化认证的系统软件，确保软件的安全性和正确性达到最高标准。

冯新宇，华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授

除了主导仓颉编程语言的研发，冯新宇教授的其他工作还包括安全系统编程语言的设计和实现、操作系统内核验证、编译器验证以及细粒度/无锁并发算法验证等，相关工作获 PLDI'19 优秀论文奖。他先后担任 APLAS'15、APLAS'17 和 SETTA'18 的程序委员会主席或大会主席，并多次担任 POPL 和 PLDI 等国际会议的程序委员会委员。

华为重磅打造

国产自研全场景智能化编程语言仓颉

• 仓颉编程语言官网：https://developer.huawei.com/consumer/cn/cangjie/
• 仓颉编程语言开发指南：https://developer.huawei.com/consumer/cn/doc/openharmony-cangjie/89_u7f16_u7a0b_u8bed_u8a00_u5f00_u53d1_u6307_u5357
• 仓颉编程语言库API：https://developer.huawei.com/consumer/cn/doc/openharmony-cangjie/libs_overview_ohos

2024 全球软件研发技术大会诚邀全球技术爱好者及软件研发精英，亲临这场智慧与技术交融的盛宴。

站在 AI 与软件研发的交汇点，与 Chris Richardson、Daniel Jackson 等世界级巨擘并肩，及众多来自华为、BAT、微软、字节跳动等实战派专家面对面，共享思维碰撞的火花。立即注册参会，解锁你的技术探秘之旅～