近日,华为开发者大会主题演讲《鸿蒙原生应用,全新出发!》中向全球开发者介绍了华为自研编程语言“仓颉”,并发布了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月,校地共建南京大学医学院附属苏州医院签约揭牌仪式在苏州科技城医院举行。
上述学术机构将基于南京大学已有的优势学科基础,全面推进以多学科交叉融合为基本特征的学术创新,围绕国家重大科技工程开展高水平、前瞻性科学研究,打造具有国际影响的创新高地和人才培养摇篮。
来源:现代快报
现代快报挂失登报_现代快报遗失声明_现代快报公告登报_现代快报挂失电话
现代快报登报电话:400-605-5150
现代快报登报微信:dengbaozs
现代快报官网_现代快报怎么登报_现代快报登报联系电话_现代快报登报申明
为了减少百姓登报来回奔波,报社广告部现开通了在线登报功能,添加报社登报微信,百姓足不出户就可以在家办理登报,见报后邮寄报纸。
今天发稿,明天见报!微信即可办理! 通讯软文、新闻发稿,企业公司宣传稿、论文发布、遗失声明、出生证丢失登报、购房收据丢失登报、买房发票登报声明、注销公告、寻亲公告、产品召回公告、股东会登报、司法公告、拍卖公告、行政公告、程序公示、催收公告,债权转让公告,登报挂失声明,注销清算公告、减资公告、招标、拍卖公告、解除劳动合同、律师声明等挂失登报,各级工商局税务局认可报纸……
现代快报在线办理:
①身份证、驾驶证、建造师资格证、出生证、教师证、电工证、会计证、专业技术资格证书、注册咨询工程师注册证、户口迁移证等各类个人证件遗失登报声明服务。
②营业执照、税务登记证、公章、财务章、法人章、发票专用章等各类公司证件的遗失以及法院公告登报、仲裁委公告、公证处公告、文化局公告、注销公告、减资公告、企业清算公告、破产公告、歇业公告、企业变更公告、拆迁公告、迁坟公告、解除合同公告、解除劳动合同公告、人事公告、离职声明公告、严正声明公告、公开声明登报、解聘声明发布、维权声明登报、道歉声明刊登、债券催收公告登报、股权转让公告登报、股权变更公告等各类公告的登报声明服务。
③学生证、毕业证、学位证、三方就业协议书、报到证、学历证书、就业推荐表等各类学生证件的遗失登报服务。
④各类综合广告:招聘求职广告, 汽车信息广告,报花广告,商务信息广告,家政维修,家教培训广告,房屋租售广告,启事公告广告,贷款典当拍卖公告等分类信息广告。
⑤各种启事:寻人、寻物、讣告、通知、道歉等登报业务。
推荐阅读:
无锡日报登报电话
苏州日报登报电话
淮安日报登报电话