本站讯（通讯员 孙佳）2019年12月23日，智能与计算学部博士毕业生谢肖飞、任文琦，学部2019年入职教师陈俊洁博士（北京大学），三人荣获2019年“CCF优秀博士学位论文奖”。该奖项授予在计算机科学与技术及其相关领域的基础理论或应用基础研究方面有重要突破，或在关键技术和应用技术方面有重要创新的中国计算机领域博士学位论文的作者。2019年全国共有10位博士荣获该奖项。

谢肖飞博士（2014级），导师李晓红教授，2018年6月获得博士学位，现在新加坡南洋理工大学做科研博士后。其博士学位论文题目为《基于路径依赖关系的循环分析技术研究》。该论文选题立足于循环困扰程序分析与验证的经典难题，创新性地提出了一套基于路径依赖自动机的分析与理论框架解决该问题。相关研究成果已发表于计算机相关顶级会议和期刊，如ISSTA、FSE、TSE、ASE、CCS、IJCAI等CCF-A类会议或期刊。其FSE16年的论文获得了ACM SIGSOFT Distinguished Paper Award,该奖项首次由中国大陆研究生获得。

任文琦博士（2013级），导师操晓春教授（兼职博导），于2017年6月获得博士学位，现任中国科学院信息工程研究所信息安全国家重点实验室 副研究员，博士学位论文题目为《融合结构先验的图像及视频去模糊研究》。该论文针对图像视频的各种模糊退化问题，提出了一系列基于清晰图像结构先验知识的图像视频去模糊方法，相关成果发表了多篇CCF-A类期刊及会议论文。

陈俊洁博士（北京大学），2019年入职天津大学，现任智能与计算学部长聘副教授。博士学位论文题目为《数据驱动的编译器测试与调试若干技术研究》。该论文从数据驱动的视角保证编译器质量，提出一套数据驱动的编译器测试与调试技术，具体包括编译器测试加速技术、编译器重复缺陷检测技术，以及编译器缺陷辅助定位技术。

（编辑 焦德芳 陈铮杰）