中心20级博士生郑迥之博士论文获2024年"CCF理论计算机科学博士学位论文激励计划"提名

近日，中心20级博士郑迥之的博士论文”最大可满足性问题的局部搜索策略与算法研究”获2024年”CCF理论计算机科学博士学位论文激励计划”提名。郑迥之在博士期间发表论文20余篇，其中包括5篇一作CCF A类论文，曾获2022年SAT国际竞赛主赛道冠军，2024年MaxSAT国际竞赛非完备组冠军等成绩。

该计划是CCF理论计算机科学专业委员会于2024年首次推出，以进一步推动理论计算机科学领域高水平创新人才培养工作，激励理论计算机领域的博士研究生潜心钻研、务实创新，表彰做出优秀成果的年轻学者。

经形式审查、同行初评、会议终评，最终3篇论文入选2024年”CCF理论计算机科学博士学位论文激励计划”，2篇论文获得2024年”CCF理论计算机科学博士学位论文激励计划”提名。