黄沛博士荣获 “CCF 博士学位论文激励计划” 提名
获奖
2024 年 1 月 27 日，2023 年 CCF 颁奖大会暨理事长就职典礼在北京召开。大会为入选和提名 2023 年 “CCF 博士学位论文激励计划” 的博士颁发了获奖证书。2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得该计划提名。
黄沛博士现为美国斯坦福大学计算机系博士后，其博士论文聚焦于逻辑公式可满足性判定这一计算机核心问题，提出了两种混合推理框架以提升自动推理效率，并基于此攻克了若干组合数学难题，取得了多项创新性成果。论文相关结果已被《Handbook of Satisfiability》和《Handbook of Combinatorial Design》收录。论文还提出了模态逻辑 S5 系统中的新范式及推理规则，显著提升了 S5 自动推理工具的效率，并被国际同行采纳。此外，论文将逻辑推理技术应用于深度学习系统的软件理论，提出了𝜀- 弱鲁棒性概念及神经网络鲁棒性增强方法。
“CCF 博士学位论文激励计划” 旨在激励计算机领域博士研究生潜心钻研、务实创新，表彰在计算机领域取得优秀成果的青年学者。2023 年共有 9 篇论文入选该激励计划，5 篇论文获得提名。