1月27日，2023 CCF頒獎大會暨理事長就職典禮在北京召開。大會為入選和提名2023年“CCF博士學位論文激勵計劃”的博士頒發獲獎證書。中國科學院軟件研究所高鈺博士（指導教師：魏峻研究員）的論文入選，黃沛博士（指導教師：張健研究員）的論文獲得提名。

高鈺，2022屆畢業生，現為軟件所軟件工程技術研究開發中心博士后。其博士學位論文《基于故障注入的分布式系統失效恢復缺陷檢測技術》關注分布式系統韌性測試技術，總結了分布式系統失效恢復處理模型，開展了失效恢復缺陷實證研究，發現了若干缺陷模式，構建并發布了缺陷數據集。論文在此基礎上提出了一種一致性導向的失效恢復缺陷檢測方法，基于動態數據流分析自動識別不一致的系統狀態，通過定向注入節點失效自動檢測失效恢復缺陷。論文還進一步提出了一種代碼覆蓋導向的分布式系統故障注入測試方法，利用系統運行時反饋引導故障注入，優化失效場景選擇策略，提高了恢復處理代碼的測試覆蓋度。

黃沛，2022屆畢業生，現為美國斯坦福大學計算機系博士后。其博士學位論文《邏輯公式可滿足性判定中的推理技術研究》圍繞邏輯公式可滿足性判定這一計算機核心問題展開研究。論文提出了兩種混合推理的框架以提升自動推理效率，基于該技術本文攻克了一些組合數學難題并有若干新結果：證明了部分之前未知的大集存在性問題，其結果已被收錄進Handbook of Satisfiability；發現8階以下的各類冪等擬群都是具有正交性的；更新了Handbook of Combinatorial Design中已知的關于17階以下正交Golf設計的最好下界。論文還提出了模態邏輯S5系統中的一種新范式，并在該范式上設計了一種新的推理規則，該方法實現了目前最為高效的S5自動推理工具并數十倍領先于當時同類工具，S5范式目前也被國際同行采納為設計新的推理方法的基礎。除此之外，論文為構建深度學習系統的軟件理論，將邏輯形式化、推理技術用于深度學習軟件的質量度量和保證，提出了??-弱魯棒性的概念和有理論保證的神經網絡魯棒性增強方法。

?

“CCF博士學位論文激勵計劃”為激勵計算機領域的博士研究生潛心鉆研、務實創新，表彰在計算機領域做出優秀成果的年輕學者而設立。經評選，2023年最終9篇論文入選該激勵計劃、5篇論文獲得提名。