12月18日，中国计算机学会发布了2025年“CCF博士学位论文激励计划”评选公告。上海交通大学计算机学院陈全教授指导的2023届博士毕业生崔炜皞以博士学位论文《低延迟高吞吐的神经网络推理系统研究》，郁昱教授指导的2025届博士毕业生张凯羿以博士学位论文《基于对称密码的后量子数字签名》入选2025年“CCF博士学位论文激励计划”奖励；陈海波教授指导的2025届博士毕业生唐楚哲以博士学位论文《面向Web应用的可扩展事务型数据库关键技术研究》入选该激励计划提名奖励。

2025年“CCF博士学位论文激励计划”

CCF博士学位论文激励计划为推动中国计算机领域的科技进步，鼓励创新性研究，激励计算机领域的博士研究生潜心钻研，务实创新，解决计算机领域中需要解决的理论和实际问题，表彰做出优秀成果的年轻学者而设立。

经评选，最终10篇论文入选2025年“CCF博士学位论文激励计划”、5篇论文获得2025年“CCF博士学位论文激励计划”提名。

获奖论文及获奖人介绍

2025年“CCF博士学位论文激励计划”

《低延迟高吞吐的神经网络推理系统研究》

崔炜皞的博士论文围绕在配备 GPU 等加速器的高性能集群中构建低延迟、高吞吐的神经网络推理系统展开，系统性研究并提出了贯穿“编译—框架—集群”三层的关键技术。（1）在推理系统的编译层面，论文聚焦模型动态性问题，提出面向动态神经网络的编译器，并将基于性能分析的编译优化机制引入神经网络优化过程，从而显著提升推理执行效率。（2）在推理系统的框架层面，论文关注任务动态性，提出多入多出批处理运行时，以统一适配不同动态特征下的批处理需求，在降低请求延迟的同时提升系统吞吐。（3）在推理系统的集群层面，论文面向部署动态性，提出基于算子调度组的混合部署调度器，通过并行处理多类推理服务请求，提高资源利用率，缓解动态部署场景下的服务质量与效率矛盾。通过在编译、框架与集群三个层次的协同设计与优化，论文构建了面向高性能集群的低延迟、高吞吐神经网络推理系统，缩小了硬件能力与用户体验之间的鸿沟。

崔炜皞，2023年毕业于上海交通大学计算机学院，现为上海交通大学博士后研究员、新加坡国立大学访问博士后研究员。研究方向涵盖计算机体系结构、机器学习系统与云计算等。已在OSDI、ATC、SC、HPCA、ASPLOS、EuroSys、NSDI以及 TC、TPDS、TACO等 CCF-A类系统领域顶级会议与期刊发表论文20余篇，其中第一作者/共同第一作者论文8篇，论文曾获SC’21 Best Reproducibility Advancement Finalist、MLSys’25 Outstanding Paper Honorable Mention等荣誉。多项研究成果已合并进入主流开源框架，并在字节跳动、蚂蚁等工业界实现落地，体现出突出的学术价值与工程影响力。曾获2023年度上海交通大学“思源博士后海外联陪项目”，2024年度“CCF高性能计算优秀博士学位论文激励计划”，2025年度“CCF 博士学位论文激励计划”。

陈全，博士，上海交通大学计算机学院教授。长期从事计算机体系结构、云原生计算相关的研究。主持国家优青、国家自然科学基金重点项目、重点研发计划项目，并在ASPLOS，OSDI，ATC，SC，TC，TPDS，TACO等领域内著名国际会议和期刊上发表学术论文一百余篇。曾获上海交通大学睿远青年科技奖、王选杰出青年学者奖、中创软件人才奖、CCF青年科技奖等。目前担任IEEE Transactions on Cloud Computing副主编（Associate Editor-in-Chief）及多个SCI期刊的编委/青年编委。研究成果曾获2024年上海市自然科学一等奖（排名第2）、2023年CCF技术发明一等奖（排名第1）及国家技术发明二等奖。

《基于对称密码的后量子数字签名》

随着量子计算的发展，构建抗量子的数字签名方案迫在眉睫。基于对称密码的方案因其不依赖特定数学难题、具备保守安全性而成为主流技术路线。

论文系统研究了基于哈希函数和基于零知识证明的两类后量子签名方案，在算法设计与安全分析两方面取得了突破：

1.算法设计： 针对 NIST 标准方案 SPHINCS+ 签名尺寸较大的问题，提出了 SPHINCS-alpha。通过引入尺寸最优的 Winternitz 编码，在保持同等安全性下将签名尺寸缩减 8-12%，为无状态哈希签名的规模化部署提供了更优选择。

2.安全分析： 建立了“MPC 友好”型对称密码的安全性评估框架。利用创新的代数攻击方法，成功破解了 Rain 和 AIM 等新型原语的多个版本，为后量子签名中底层组件的选择提供了关键安全参考。

论文兼顾设计与分析，相关成果发表于 CRYPTO、ASIACRYPT 等密码学顶会，对推动后量子密码标准化进程具有重要意义。

张凯羿，上海交通大学计算机科学与技术专业博士。2020年毕业于上海交通大学致远学院ACM班，获学士学位；2025年博士毕业于上海交通大学计算机学院，师从郁昱教授。现于清华大学高等研究院从事博士后研究。主要研究方向为后量子密码、零知识证明以及安全多方计算。他在密码学及量子信息相关领域的顶级会议与期刊上发表了多篇高水平学术论文，其中以第一作者身份在密码学顶会 CRYPTO、ASIACRYPT发表研究成果。此外，他还以共同第一作者身份在 PNAS、npj Quantum Information等多学科顶级期刊发表论文。他积极参与国际密码标准的建设，是美国NIST后量子密码标准征集方案 SPHINCS-ALPHA 的主要参与者之一。

郁昱，上海交通大学特聘教授、计算机学院副院长，主要研究密码基础理论、后量子密码、隐私保护计算、侧信道攻击与防护等密码学方向，目前已于国际三大密码旗舰年会（CRYPTO、EUROCRYPT、ASIACRYPT）发表20余篇文章，解决了后量子密码领域基于LPN/LWE设计公钥加密、密钥交换协议、不经意传输和低深度伪随机函数等公开问题，突破了混淆电路、通用电路等隐私保护计算协议的性能瓶颈。2003年获复旦大学学士学位，2007年获南洋理工大学博士学位，之后在比利时鲁汶大学从事博士后研究，2011年回国后曾分别在华东师范大学和清华大学任教，2014年至今任教于上海交通大学。目前担任亚洲密码年会(ASIACRYPT)和公钥密码年会(PKC)的指导委员会委员，十多次担任CRYPTO、EUROCRYPT、ASIACRYPT程序委员会委员，并多次在ASIACRYPT、澳大利亚密码年会、中国密码学会年会等做会议特邀报告。同时担任了《国家科学评论》“格密码及其数学问题”特刊的编委、中国密码学会常务理事。先后承担了国家杰出青年科学基金、国家自然科学基金重点项目、国家重点研发计划课题等，获得科学探索奖(2020)、中国青年科技奖(2022)、全国密码算法设计竞赛两项一等奖和中国人民银行“金融密码杯”创新赛一等奖等奖励，并入选了《麻省理工科技评论》中国隐私计算科技创新人物。

2025年“CCF博士学位论文激励计划”提名

《面向Web应用的可扩展事务型数据库关键技术研究》

随着Web应用规模和复杂度不断增加，事务型数据库系统在应用层、事务协议层、数据访问层三个关键层级上均面临可扩展性挑战。本文通过层级联动的创新研究，为Web应用提供可扩展、高性能且强一致的事务处理能力，高效支撑不断增长的应用规模与复杂度。其主要创新点包括：1）本文首次提出即席事务并开展系统性实证研究，基于开源应用总结现有系统局限性，并为后续研究定义多个研究问题；2）本文提出多数据库事务协议Sonata，同时满足应用性能和一致性需求，提供随应用规模弹性扩展的事务处理能力。3）本文面向多核与分布式场景分别提出学习型索引XIndex和分布式二级索引Suorin，在保障强一致性和高性能读操作同时，大幅提高写操作可扩展性与性能。从应用层中间件到底层系统构建、多核并发算法到分布式系统，论文研究内容层层递进、有机衔接，从不同维度和视角出发提出了一系列创新性技术方案，在保障强一致性的同时实现吞吐量、时延和扩展规模上的数量级突破，并落地阿里云Hologres、PolarDB产品。

唐楚哲，“致远荣誉计划”博士生，2025年毕业于上海交通大学计算机学院，现为瑞士洛桑联邦理工学院博士后研究员，主要研究方向为并发与分布式数据库系统。博士期间在数据库系统相关领域CCF A类国际会议/期刊（SIGMOD、VLDB、TODS等）发表论文8篇、A类中文期刊论文1篇，获2023年ACM SIGMOD研究亮点奖、SIGMOD 2022最佳论文荣誉提名奖等重要国际奖项，均开创了国内研究团队独立完成工作获奖的先河。研究成果作为亮点论文和封面文章刊登在《Communications of the ACM》，滑铁卢大学Kenneth Salem教授发表评述文章介绍论文工作，称其“极具信息量，应被视为设计数据系统同步机制的研究者的必读之作”。

陈海波，上海交通大学特聘教授、国家杰出青年基金获得者、ACM/CCF/IEEE Fellow，担任OpenHarmony项目群技术指导委员会主席、CCF开源发展技术委员会常委。主要研究领域为操作系统、分布式系统与系统安全，研究成果通过产学研深度结合被应用到数十亿设备，产生了广泛的学术与产业影响。曾获中国计算机学会科技进步特等奖、陈嘉庚青年科学奖（信息技术科学奖）、中国青年科技奖、教育部技术发明一等奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS首位非北美学者主席、ACM旗舰杂志Communications of the ACM首位中国学者编委与领域共同主席、ACM EuroSys 2025程序委员会共同主席。研究工作还获得了华为卓越贡献个人奖，SOSP、ASPLOS、EuroSys、VEE等最佳论文奖以及DSN“时间检验奖”、CACM研究亮点奖等。按照csrankings.org的统计，其近十年在操作系统领域顶会SOSP/OSDI上发表的论文数居世界第一。主持撰写的《现代操作系统：原理与实现》获得了2020年度“最受读者喜爱的IT图书奖”与2022年上海交通大学优秀本科生教材奖（新版更名为《操作系统：原理与实现》）、以及机工科技--2023年度计算机领域十大好书，被高校、科研机构与企业广泛采用。