Page 8 - 《软件学报》2026年第7期

王林章 等: 智能化基础软件可信构造和供应链安全专题前言 2693

的可信保障. 担任全国信息技术标准化委员会委员、CCF 理事、江苏省计算机学会常务理事、软件专委会主任, 曾任中国计算机学会系
统软件专委会副主任、秘书长. 在程序语言、软件工程、系统软件等软件领域旗舰期刊和会议上发表多篇论文, 获 OOPSLA 2020 杰出
论文奖和 OOPSLA 2013 最佳论文奖. 参与制定多项国家标准, 主持国家自然科学基金重点项目、国家重点研发计划、华为等头部企业
技术攻关项目多项, 成果服务于国家重大需求和产业应用, 成效显著.
司徒凌云, 博士, 南京大学特聘研究员, 博士生导师, CCF 专业会员, 主要研究领域为软件供应链安全, 漏洞情报分析, 开源生态治理. 出版
学术专著 1 部. 在领域核心期刊和高水平学术会议上发表论文 30 余篇, 获最佳论文奖 2 次, 优秀论文一等奖 1 次. 申请发明专利 7 项, 完
成科技成果转化 4 项. 自主研发多个重要的漏洞检测工具与数据库系统, 实际应用于华为等国际一流 IT 企业.
钟浩, 博士, 上海交通大学研究员, 博士生导师, CCF 专业会员, 主要研究领域为经验软件工程和挖掘软件工程数据. 曾获得 ACM 杰出论
文奖、ASE 最佳论文奖和 APSEC 最佳论文奖. 曾多次担任 ICSE、ASE、ESEC/FSE 等软件工程领域顶级会议的程序委员. 现为软件工
程领域顶级期刊 TSE 的副主编.
向剑文, 博士, 武汉理工大学教授, 博士生导师, CCF 专业会员, 主要研究领域为网络安全, 可靠性工程. 担任高可信软件技术湖北省国际
科技合作基地主任、交通信息与安全教育部工程研究中心副主任. 曾主持国家重点研发计划、国家自然科学基金、国家 242 信息安全
专项、湖北省重大专项、湖北省重点研发计划、湖北省创新群体等项目 20 余项, 担任 ISSRE 指导委员会副主席和多个国际会议大会主
席或 PC 主席, 在中国软件大会 2022–2024 年连续 3 年成功举办论文专题论坛.
张路, 博士, 北京大学计算机学院教授, 博士生导师, CCF 杰出会员, 主要研究领域为软件分析与测试. 在软件工程领域重要期刊和会议上
发表论文 100 余篇. 现任《Science China: Information Science》《软件学报》编委, 曾任 2017 年 ICSME 程序委员会共同主席和 FSE、
OOPSLA、ASE、ISSTA 等重要国际会议的程序委员会委员.