冯新宇简介
冯新宇，我国编程措辞领域顶尖科学家，南京大学打算机科学与技能系教授、博导，兼任华为编程措辞首席架构师，主导华为编程措辞研发；曾于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月，校地共建南京大学医学院附属苏州医院签约揭牌仪式在苏州科技城医院举行。
上述学术机构将基于南京大学已有的上风学科根本，全面推进以多学科交叉领悟为基本特色的学术创新，环绕国家重大科技工程开展高水平、前瞻性科学研究，打造具有国际影响的创新高地和人才培养摇篮。
来源：南京大学
