您的当前位置:首页 > 休闲 > 华为下一代编程语言“仓颉”首席架构师揭晓:南京大学冯新宇教授 正文
时间:2024-06-29 18:51:58 来源:网络整理 编辑:休闲
西安市预约品茶-西安市品茶联系-西安市喝茶联系
IT之家6 月 22 日消息,仓颉在昨日的下代晓南学冯新宇HDC 2024 华为开发者大会主题演讲上,华为终端 BG 软件部总裁龚体正式官宣了华为自研仓颉编程语言。编程该语言历经 5 年研发沉淀,首席师揭现已开启开发者预览。架构京大教授
IT之家从南京大学官方获悉,仓颉2019 年,下代晓南学冯新宇华为启动仓颉编程语言项目,编程南京大学计算机科学与技术系冯新宇教授担任首席架构师,首席师揭领导华为编程语言实验室开展项目研发。架构京大教授
仓颉编程语言是仓颉一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、下代晓南学冯新宇天生全场景、编程高性能,首席师揭强安全等技术特色,架构京大教授拥有现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能 Agent 声明式编程框架、以及开箱即用的 IDE 工具链支持。
除了派出程序设计语言学术带头人冯新宇教授担任华为编程语言首席专家,南京大学和华为还围绕下一代程序设计技术开展了长期全面的合作。当前多个团队依托华为-南京大学软件新技术联合实验室,在泛在操作系统应用开发框架、IDE 代码提示和智能代码生成技术、程序分析框架和工具、跨语言互操作和代码转换工具等方面开展联合研发,共同为仓颉编程语言构建软件生态环境。
南京大学官网显示,冯新宇教授于 1999 年获得南京大学计算机科学学士学位,2002 年获得南京大学计算机科学硕士学位,2007 年获得耶鲁大学计算机科学博士学位。
冯新宇教授的介绍显示,他的研究兴趣是形式方法和编程语言领域。他对开发理论、编程语言和工具并构建经过正式认证的系统软件特别感兴趣,并严格保证安全性和正确性。
此外,他曾在南京大学、香港理工大学计算机系、AT&T 香农实验室、耶鲁大学计算机科学系、芝加哥丰田技术研究所、三星电子(中国)研究中心、丹麦技术大学(DTU)、中科大・耶鲁高可信软件联合研究中心、中国科大・国创高可信软件工程中心、中国科学技术大学(USTC)任职,于 2018 年回到南京大学任教。
赢了!恭喜黄一鸣,王思聪已承认是孩子的父亲,双方达成和解2024-06-29 18:42
1985年王景清去监狱探望江青,江青好奇问道:你是怎么认识李讷的2024-06-29 18:08
30多万股东懵了!市值近500亿元的巨头,股价逼近“1元红线”,创15年新低2024-06-29 17:51
黑马!湖北物理最高分考生708,父亲:平时不拔尖就一次年级前十2024-06-29 17:35
解放军连续四天围台,台军高层发现不对,吴谦改了对台军称呼2024-06-29 17:32
把电瓶车砸掉也不给你没收,是一种什么样的声音?2024-06-29 17:28
提拔侄女当防长,召回保镖做助理,普京意欲何为?此不祥之兆也2024-06-29 17:13
姜萍决赛后,一张手捏蛤蟆的照片跟着火了,网友起名:轻松拿捏2024-06-29 16:40
荒谬的言论!声称中国绝大多数富豪是通过侵吞国家资产而暴富!2024-06-29 16:34
1985年王景清去监狱探望江青,江青好奇问道:你是怎么认识李讷的2024-06-29 16:14
解放军连续四天围台,台军高层发现不对,吴谦改了对台军称呼2024-06-29 18:47
轰44+14+5!中国女篮2米23天才完爆日本队,解说大喊:我们的国宝2024-06-29 18:44
富士康在越南再投2个工厂,风评反转,人们开始怀念富士康2024-06-29 18:27
球迷社媒炮轰贝林表现:懒惰恶心的表现,害搁这喊你那Vamos呢!2024-06-29 17:51
央妈“排查”结果:我国可以一次性拿出50万元的家庭,超乎想象?2024-06-29 17:44
“中国第六代战斗机初见曙光”,美媒:技术验证机或已试飞!2024-06-29 17:33
缅甸爆发冲突,中方表态2024-06-29 17:08
今日两笔交易评级出炉:篮网A尼克斯A火箭A2024-06-29 16:47
热身赛两连败!中国女篮632024-06-29 16:45
2名日本人在苏州遇袭:知情者曝被刺原因,胡锡进谴责,警方通报2024-06-29 16:12