2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得 “CCF 博士学位论文激励计划” 提名。“CCF 博士学位论文激励计划” 旨在激励计算机领域博士研究生潜心钻研、务实创新，表彰在计算机领域取得优秀成果的青年学者。本年度共有 9 篇论文入选该激励计划，5 篇论文获得提名。
2022 届毕业生黄沛博士（导师：张健教授）凭借其博士学位论文《逻辑公式可满足性判定中的推理技术研究》获得 “CCF 博士学位论文激励计划” 提名。“CCF 博士学位论文激励计划” 旨在激励计算机领域博士研究生潜心钻研、务实创新，表彰在计算机领域取得优秀成果的青年学者。本年度共有 9 篇论文入选该激励计划，5 篇论文获得提名。