南大教授领衔研发!华为发布通用编程语言“仓颉”
近日,华为开发者大会主题演讲《鸿蒙原生应用,全新出发!》中向全球开发者介绍了华为自研编程语言“仓颉”,并发布了HarmonyOS NEXT仓颉编程语言开发者预览版。这是华为首次公开发布仓颉编程语言。南京大学计算机学院冯新宇教授担任“仓颉编程语言”项目首席架构师,领导华为编程语言实验室开展项目研发。
冯新宇简介
冯新宇,我国编程语言领域顶尖科学家,南京大学计算机科学与技术系教授、博导,兼任华为编程语言首席架构师,主导华为编程语言研发;曾于2019年带领团队获得PLDI杰出论文奖。分别于1999年和2002年在南京大学获学士和硕士学位;2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago (TTIC)任研究助理教授(Research Assistant Professor)。
主要从事程序验证、并发理论、程序设计语言理论方面的研究,在 POPL、PLDI、ESOP和CONCUR等知名国际会议和期刊上发表论文10余篇。担任APLAS 2011、APLAS 2008和TASE 2009、POPL'24(国内唯一上榜的学者)的程序委员会成员。编程语言作为开发者表达计算思维的基本媒介,是软件开发的基础工具和软件生态的入口门户,是具有重要战略意义的基础软件。此前主流的通用编程语言均源于国外。2019年,华为启动仓颉编程语言项目,仓颉编程语言是一款面向全场景智能化应用开发的现代编程语言,具有原生智能化、天生全场景、高性能,强安全等技术特色。它通过现代语言特性的集成、全方位的编译优化和运行时实现、简洁易用的智能Agent声明式编程框架、以及开箱即用的IDE工具链支持,为鸿蒙原生应用开发打造友好开发体验和卓越程序性能。
历经5年聚力攻关,仓颉编程语言当前已经完成设计与实现,并启动了开发者预览。仓颉语言的发布,代表我国在基础软件研发领域取得又一项重要进步。仓颉语言的成功研发,表明我国具备了现代通用编程语言设计和先进编译器研制的核心技术能力,同时也组织培养了一支具备国际一流竞争力的专业队伍。
除了派出程序设计语言学术带头人冯新宇教授担任华为编程语言首席专家,南京大学和华为还围绕下一代程序设计技术开展了长期全面的合作。当前多个团队依托华为-南京大学软件新技术联合实验室,在泛在操作系统应用开发框架、IDE代码提示和智能代码生成技术、程序分析框架和工具、跨语言互操作和代码转换工具等方面开展联合研发,共同为仓颉编程语言构建丰富多元的软件生态环境。
根据全球计算机权威排名csrankings显示,南京大学在软件工程领域位居全球第一,在编程语言领域名列全球23位,中国第一。
南京大学苏州校区瞄准国家战略需求,聚焦新工科建设,打造具有全球影响力的产业科技创新中心和全国重要的产业科技创新高地。
◆ 2022年6月首批揭牌成立了智能科学与技术学院、智能软件与工程学院、集成电路学院、数字经济与管理学院等四大新型学院,同时成立了环境与健康研究院、深空探测科学与技术研究院、绿色化学与工程研究院、功能材料与智能制造研究院、全球人文研究院等五大新型研究院。
◆ 2023年2月,现代药学与工程研究院、考古文博与中华文明研究院、全球知识产权研究院、空间地球科学研究院等4个新型研究院启动筹建,数据管理创新研究中心、高端控制与智能运维研发中心、视觉计算与智能感知研究中心等3个高端研究机构揭牌。
◆ 2023年7月,校地共建南京大学医学院附属苏州医院签约揭牌仪式在苏州科技城医院举行。
上述学术机构将基于南京大学已有的优势学科基础,全面推进以多学科交叉融合为基本特征的学术创新,围绕国家重大科技工程开展高水平、前瞻性科学研究,打造具有国际影响的创新高地和人才培养摇篮。
精彩荐读
宝剑锋从磨砺出!2023级军训纪实
点击图片阅读:
南京大学2024本科招生录取结果,可查!
点击图片阅读:
谈哲敏校长率团访问法国、德国,推进对欧人文交流与战略合作
来源:南大招生小蓝鲸
编辑:余欣欣 王雪纯
责编:王 俊 李烨婧