说明：

A类项目主要面向前沿技术探索，其成果瞄准创新IDEA，鼓励发表高水平学术论文；

B类项目面向实际问题研究和开发原型系统/工具，实际落地到系统（包含开源系统）中。

郑圣安，上海交通大学计算机学院长聘教轨副教授，博士生导师。主要研究方向为内存存储系统、分布式系统、大模型训推系统等。在FAST、EuroSys、ICDE、DAC、TPDS、TOS等国际高水平会议和期刊发表学术论文三十余篇，获国家发明专利授权十余项，受邀担任多个国际会议和期刊的程序委员会委员和审稿人，担任OpenCloudOS社区TOC委员。主持国家自然科学基金青年科学基金项目、上海市自然科学基金面上项目、中国博士后科学基金面上项目以及多项企业创新研究计划项目，参与国家重点研发计划、国家自然科学基金重点项目等。相关研究成果获2020年上海市技术发明奖一等奖。

陈游旻，上海交通大学计算机学院长聘教轨副教授，主要研究方向包括存储系统、操作系统、AI系统等，在SOSP、FAST、EuroSys、USENIX ATC、ASPLOS等国际顶级会议/期刊发表论文30余篇，研究成果应用于华为、阿里等头部企业，相关研究成果曾获CCF科学技术奖技术发明一等奖、华为首届奥林帕斯奖及百万悬红等。博士毕业于清华大学，曾获得CCF优秀博士学位论文奖、ACM ChinaSys优秀博士学位论文奖、清华大学优秀博士学位论文奖等；从事博士后研究期间，获得了中国博士后创新人才支持计划（博新计划）等资助，主持了国家自然科学基金青年基金、国家重点研发计划子课题等项目。曾任第25届ChinaSys研讨会程序委员会主席、USENIX ATC程序委员会委员等。

陈明帅，浙江大学研究员、博士生导师、启真学者，CCF高级会员、形式化方法专委执行委员，杭州市钱江特聘专家，国家优秀青年基金（海外）获得者。主要研究方向包括形式验证、程序理论、信息物理融合系统、AI4FM等，提出新型安全攸关系统形式验证理论，解决了概率程序不动点估计、微分系统可达性判定、时滞系统高效控制生成等若干软件理论公开难题，研究成果应用于我国探月二期工程“嫦娥”三号等重大工程，在Inf. Comput.、OOPSLA、CAV、FM、ASPLOS、IJCAR、TACAS、ASE等领域旗舰期刊/会议上发表学术论文40余篇，曾获中科院院长特别奖、ATVA杰出论文奖、FMAC最佳论文奖。曾/现任《软件学报》专刊特约编辑及OOPSLA、TACAS等10余个国际会议的程序委员会委员。主持国家优秀青年科学基金项目（海外）、浙江省自然科学基金重大项目、CCF-华为胡杨林基金形式化专项。

文明，华中科技大学网络空间安全学院副教授，，硕士生/博士生导师，毕业于香港科技大学计算机科学与工程学院，主要聚焦开源软件安全、基础软件测试与分析等方面研究，在软件工程领域累计发表了CCF-A类推荐会议或期刊50余篇，包括EuroSys、ASPLOS、OOPSLA、ICSE、ESEC/FSE、ISSTA等。主持了国家自然科学基金青年项目、面上项目、以及多项企业合作项目。担任CCF系统软件、软件工程专委会委员、以及多项CCF-A类国际会议的程序委员会委员，并获得了ACM SIGSOFT杰出论文奖（3次）、“华中学者”卓越青年学者、ACM 新星奖 2023（武汉分会）、以及入选了第七届中国科协青年人才托举工程计划。

张伟，山东大学网络空间安全学院院长助理，副研究员，博士生导师，入选山东大学青年未来学者计划，CCF系统软件专委会执行委员。研究方向为系统软件分析、设计、验证，在DAC、TPDS、TCAD等高水平会议和期刊上发表高水平学术论文20余篇。主持国家自然科学基金青年项目（C类）、国家自然科学基金重点项目课题等多项基金类项目。与华为、航天等开展长期合作，主持企业合作项目四项。多次担任实时系统、嵌入式操作系统领域国际顶级学术会议的程序委员会成员，其中担任RTSS2023的Artifact Evaluation Chair。

张昱，中国科学技术大学计算机学院教授，博士生导师。CCF系统软件、教育专委常务委员，ACM中国OS分会副主席。长期从事程序语言与系统教学科研，近年聚焦智能、数据与量子计算编程系统及优化。在ASPLOS、DAC、OOPSLA、OSDI、TCAD等会议期刊发表论文130余篇。AI编译优化研究获华为难题揭榜火花奖、胡杨林基金优秀项目。获教育部华为智能基座、宝钢等优秀教师奖、首届系统能力培养突出贡献奖等。

韩林，教授，博士生导师，国家超算郑州中心总工程师，CCF高性能计算专业委员会执行委员、教育专委会委员。主要研究方向为高性能计算与先进编译、程序性能优化、国产自主可控等，先后参研国家、军队、省部重大/重点课题研究10余项，被评为国家重大专项工程先进个人1次、获省部级科技进步一等奖2项、二等奖2项，省部级教学成果二等奖1项，荣立个人三等功1次。发表学术论文70余篇，编著教材2部。

王祥宇，西安电子科技大学副教授，入选博士后创新人才支持计划（“博新计划”），2021年博士毕业于西安电子科技大学网络空间安全专业，师从马建峰教授。长期从事大数据安全与隐私保护、应用密码学、加密数据库等领域的研究，在 ACM SIGMOD、IEEE INFOCOM、IEEE TIFS、IEEE TDSC、IEEE TSC、通信学报等国内外著名会议/期刊发表论文 20 余篇；授权国家发明专利 10 余项。主持国家自然科学基金青年项目、陕西省重点研发计划项目、博士后创新人才支持计划、博士后科学基金面上资助项目等。获2022年中国通信学会优秀博士学位论文（全国10人）、2022年“金融密码杯”全国密码应用和技术创新大赛一等奖（全国7项）、2021年西安电子科技大学研究生“校长奖”等。指导学生获第九届全国密码技术竞赛特等奖（全国2项）、2022年中国大学生“互联网+”创新创业大赛陕西省金奖等学科竞赛十余项。曾任Usenix Security、AAAI、TrustCom、Globecom等国际会议的PC Member。

王浩宇，华中科技大学网络空间安全学院教授、博导，教育部青年长江学者，华中卓越学者，Security PRIDE团队负责人，华中科技大学OpenHarmony技术俱乐部主任，华科网安-烽火通信网络安全联合研究中心主任。研究方向为新兴软件系统安全，近年共发表CCF A类论文110余篇。曾获得CCF A类顶会最佳/杰出论文奖三项，北京市科技进步一等奖等省部级科技奖励三项。

古金宇，上海交通大学副研究员，担任领域操作系统教育部工程研究中心内核实验室主任，空天领域操作系统联合研究中心学术委员会委员。研究方向为操作系统内核、系统安全、机器学习系统。主持了国家自然科学基金青年项目、上海市科技创新行动计划课题等。研究成果发表在本领域主流学术会议与期刊如USENIX ATC、OSDI、ACM EuroSys、USENIX Security、PPoPP、IEEE TC、NSDI等。研究成果通过产学研合作应用于航天卫星操作系统、OPPO智能终端操作系统、开源鸿蒙操作系统、南方电网的电力鸿蒙操作系统等。担任包括EuroSys和ATC在内的多个期刊审稿人及国际会议程序委员会成员。申请人参与编著《智能终端操作系统与OpenHarmony实践》《操作系统：原理与实现》。申请人曾获“终端操作系统十大技术挑战特别贡献奖”、“OpenHarmony领航课题”、“示范性软件学院联盟十大关键软件技术成果”等。

陈武辉，中山大学软件工程学院教授、博导、珠海市可信大模型重点实验室主任。研究方向为大规模AI训练与推理系统软件，与华为、鹏城实验室、百川智能、华东院等单位有合作项目，部分成果得到落地应用。承担了国家重点研发计划课题、国家自然科学基金面上和青年项目等多个国家级省部级项目，成果发表在ATC、ASPLOS、EuroSys、NDSS、IEEE TPDS、IEEE TC等知名会议和期刊上；曾获吴文俊人工智能自然科学二等奖、CCF B类会议IEEE ICPP 2020最佳论文亚军奖，入选全球前 2% 顶尖科学家榜单。

李杉杉，南京大学软件学院准聘助理教授，特任研究员，博士生导师，软件研发效能实验室核心成员。博士毕业于南京大学软件学院软件工程专业，曾在澳大利亚阿德莱德大学接受联合培养一年，荣获2022年江苏省双创博士。研究方向为软件架构智能化，具体研究包括但不限于传统领域（如单体和微服务）和新兴技术领域（如AI原生和区块链）的软件架构正向设计生成、逆向评估、反馈优化等技术缺位难题。在本领域TSE、SPE、IST、JSS、PC等一流期刊和ISSTA、FSE、EASE、APSEC、ICPADS等权威国际会议上发表论文30余篇（谷歌引用次数1400+），其中2篇论文分别获软件工程学科权威国际会议APSEC最佳论文奖和最具影响力论文奖，申请发明专利20余项（获得授权5项），作为主要起草人起草国家标准一项（实施中）；是软件工程领域知名期刊和会议的审稿人，担任FSE2025组委会联合主席、EASE2023国际会议出版主席；主持国家自然科学基金青年基金项目和国家重点实验室海外开放课题各一项，2022年获得CCF-华为胡杨林基金-软件工程专项课题资助（已结题）；参与多项国家级、省部级课题项目，是目前结题的国家重点研发计划专项和在研的江苏省重点研发计划重点项目团队核心骨干成员（排名分别为第6和第4）。

吴道远，博士，香港科技大学计算机系研究助理教授，并兼任广州市香港科大霍英东研究院副研究员。于新加坡管理大学取得博士学位，随后在香港中文大学担任三年研究助理教授及一年兼职助理教授，期间指导并毕业一名博士生。此后，曾任职于华为香港研究院及南洋理工大学，担任高级研究员职务。研究方向包括大模型安全、区块链和智能合约安全、移动系统和软件安全。近年来发表多篇安全四大和软工顶会，并担任CCS、USENIX、NDSS、ICSE、ISSTA等顶会的程序委员会委员，荣获2025年NDSS杰出论文奖等学术荣誉。

黄凯锋，同济大学计算机科学与技术学院预聘助理教授。2022年于复旦大学获得博士学位，2022年-2024年于复旦大学计算机科学技术学院任博士后研究员。研究兴趣为软件工程与软件安全，包括软件供应链安全、软件演化、开源软件治理、AI软件安全等。至今已在ICSE、CCS、FSE、ASE、ISSTA等软件工程/软件安全国际顶级会议/期刊发表论文10余篇，曾获ACM SIGSOFT优秀论文奖（ASE’18）、IEEE TCSE优秀论文奖（ICSME’20）。担任《IEEE Transactions on Software Engineering》、《ACM Transactions on Software Engineering and Methodology》、ASE 2025/2024、《软件学报》、ISSRE 2024、《Empirical Software Engineering》、《Automated Software Engineering (J)》等高水平学术期刊/会议审稿人和程序委员会成员。主持和参与国家自然科学基金委青年基金、上海市科技创新行动“扬帆计划”、中国博士后科学基金、国家自然科学基金委面上基金等多项科研基金项目。

范玲玲，南开大学密码与网络空间安全学院副教授，博导，入选南开大学"百名青年学科带头人"。研究方向为软件测试，聚焦移动软件测试、开源软件治理。在ICSE、FSE、ASE、ISSTA、TSE、TOSEM、TDSC等顶级会议/期刊发表论文40余篇。4次获得CCF-A类国际顶级会议的ACM SIGSOFT杰出论文奖（ICSE 2018、ICSE 2021、ASE 2022、ICSE 2023）。获得天津市科技进步二等奖、ACM中国新星奖（天津）。主持国家自然科学基金、国家重点研发课题等项目，担任四大软件工程顶会的程序委员会成员。

王莹，博士，东北大学软件学院副教授, 院长助理。CCF开源发展委员会委员, CCF女工委委员，东北大学OpenHarmony技术俱乐部主任。荣获微软研究院铸星计划访问学者(2020)、CCF优秀博士论文提名奖(2020)、辽宁省优秀博士论文奖(2021)、 ACM SIGSOFT 杰出论文奖(ICSE 2021、ESEC/FSE 2023)。主要研究方向为智能软件开发技术、开源软件生态治理技术、鸿蒙软件智能迁移适配技术等。出版英文学术专著《Managing Software Supply Chains: Theory and Practice》。多项技术落地于华为、微软、龙芯等企业平台和OpenHarmony开源社区。担任IEEE Transactions on Software Engineering期刊编委，ChinaSoft 2023-2025软件工程女性论坛主席等，热衷参与学术活动以鼓励计算机领域女性“研究媛”和“程序媛”坚持科研梦想。

周鸣一，博士，于2025年加入北京航空航天大学软件学院任助理教授，北京航空航天大学卓越青年学者。主要研究方向为移动软件工程、移动安全、AI安全等，特别集中在鸿蒙应用分析以及终端AI软件分析。软件工程和人工智能领域CCF-A类顶级会议和期刊（如ICSE、FSE、ASE、ISSTA、TOSEM、CVPR、AAAI等）发表多篇文章。其中关于模型混淆的研究被英国政府相关报告列为了人工智能安全的技术推荐之一（2024）。担任多个国际顶级学术会议和期刊的委员会成员或审稿人。团队针对鸿蒙等移动系统已开发多项基础程序分析工具（方舟分析器、HapTest等），多项成果部署于DevEco Studio等华为公司鸿蒙应用开发相关产品中。

黄航，博士，华中科技大学计算机科学与技术学院讲师。2016年于华中科技大学获软件工程学士学位，2022年获计算机科学与技术博士学位（导师：吴松教授）。2018-2019年获国家留学基金委资助，赴德克萨斯大学阿灵顿分校进行联合培养（合作导师：饶嘉教授）。长期致力于云计算底层系统研究，主要研究方向包括虚拟化技术、服务器无感知计算与容器技术、面向大模型的云系统软件栈优化等，并在SOSP、TC、HPDC等国际顶级会议与期刊上发表多篇高水平论文。2022- 2025年曾任职于阿里云基础设施事业部，主导完成阿里云安全容器系统的虚拟化架构升级，并成功支撑日均百万核规模的容器实例稳定运行，为云基础设施的稳定性提供了关键性技术保障。

张一鸣，厦门市智能存储与计算实验室，入选国家高层次人才计划。担任中国计算机系统大会（ChinaSys）主席、IEEE Trans. Computers编委等。长期从事网络智能存储与计算技术研究和系统研制。相关成果获CCF科技进步一等奖、国家科技进步二等奖、湖南省自然科学一等奖、FAST’23最佳论文奖等。