华为下一代编程语言“仓颉”首席架构师揭晓:南京大学冯新宇教授
IT之家6 月 22 日消息,仓颉在昨日的下代晓南学冯新宇HDC 2024 华为开发者大会主题演讲上,华为终端 BG 软件部总裁龚体正式官宣了华为自研仓颉编程语言。编程该语言历经 5 年研发沉淀,首席师揭现已开启开发者预览。架构京大教授 IT之家从南京大学官方获悉,仓颉2019 年,下代晓南学冯新宇华为启动仓颉编程语言项目,编程南京大学计算机科学与技术系冯新宇教授担任首席架构师,首席师揭领导华为编程语言实验室开展项目研发。架构京大教授 仓颉编程语言是仓颉一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、下代晓南学冯新宇天生全场景、编程高性能,首席师揭强安全等技术特色,架构京大教授拥有现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能 Agent 声明式编程框架、以及开箱即用的 IDE 工具链支持。 除了派出程序设计语言学术带头人冯新宇教授担任华为编程语言首席专家,南京大学和华为还围绕下一代程序设计技术开展了长期全面的合作。当前多个团队依托华为-南京大学软件新技术联合实验室,在泛在操作系统应用开发框架、IDE 代码提示和智能代码生成技术、程序分析框架和工具、跨语言互操作和代码转换工具等方面开展联合研发,共同为仓颉编程语言构建软件生态环境。 南京大学官网显示,冯新宇教授于 1999 年获得南京大学计算机科学学士学位,2002 年获得南京大学计算机科学硕士学位,2007 年获得耶鲁大学计算机科学博士学位。 冯新宇教授的介绍显示,他的研究兴趣是形式方法和编程语言领域。他对开发理论、编程语言和工具并构建经过正式认证的系统软件特别感兴趣,并严格保证安全性和正确性。 此外,他曾在南京大学、香港理工大学计算机系、AT&T 香农实验室、耶鲁大学计算机科学系、芝加哥丰田技术研究所、三星电子(中国)研究中心、丹麦技术大学(DTU)、中科大・耶鲁高可信软件联合研究中心、中国科大・国创高可信软件工程中心、中国科学技术大学(USTC)任职,于 2018 年回到南京大学任教。
- 最近发表
- 随机阅读
-
- 停播13年后,《曲苑杂坛》仍被热议:主持人汪文华到底得罪了谁?
- 国家防总批复设立辽河防汛抗旱总指挥部
- 国家防总批复设立辽河防汛抗旱总指挥部
- 国家防总批复设立辽河防汛抗旱总指挥部
- 520万元法拉利F8自燃,车主称“代驾全程一档开五六十码”
- 四川阆中古城机场正式通航 可满足年旅客吞吐量65万人次
- 今年全国水利建设完成投资创历史新高
- 让横店变“竖店”的微短剧正在向流量要质量
- 广西明晚到后天降雨将进入最强阶段
- “火玫瑰”女子火化班组:温暖逝者“最后一程”的年轻人
- 新一批全国民族团结进步示范区示范单位公布
- 新政策新举措频出 我国高水平开放实现“加速跑”
- “湿气”最怕这菜,隔天吃1次,祛湿健脾又开胃,不懂吃真可惜!
- 多部门联动 坚定不移推进长江十年禁渔
- “火玫瑰”女子火化班组:温暖逝者“最后一程”的年轻人
- 曹鹏委员:自主研发和产业发展相辅相成
- 许敏开播带货惹他人眼红,小星星盼其游山玩水,潘律夫妇态度反转
- 国家数据局公开征求意见 推进城市全域数字化转型
- 我国确定2024年粮食生产总体目标
- 南航北京大兴至澳门航线首航
- 搜索
-
- 友情链接
-