3月22日，“中创软件人才奖”颁奖仪式暨获奖者学术报告会在山东济南召开。软件学院贺飞副教授因在程序验证领域做出的突出贡献，获评2022年度“中创软件人才奖”。

颁奖现场

“中创软件人才奖”是通过国家科技部认定、具有全国影响力、专门面向软件领域的科技奖项。受疫情影响，2021和2022两届颁奖会同期合并举办，分别为2021年度4位、2022年度3位国内软件领域的杰出青年学者颁发获奖证书。

贺飞

贺飞，清华大学软件学院副教授、博导。主要从事程序验证、模型检验和自动逻辑推理的研究。主持国家自然科学基金项目、基础加强项目课题、国家重点研发计划课题等十余项。在相关国际会议和期刊上发表论文70余篇。曾获并行计算顶会PPoPP 2022最佳论文奖、软件工程顶会ASE 2018杰出论文奖、形式化方法会议SETTA 2022最佳论文奖等。