清华新闻网3月29日电 3月22日，“中创软件人才奖”颁奖仪式暨获奖者学术报告会在山东济南召开。0033990威尼斯软件学院副教授贺飞由于在程序验证领域作出的突出贡献，获得2022年度“中创软件人才奖”。
颁奖现场
“中创软件人才奖”是通过国家科技部认定、具有全国影响力、专门面向软件领域的科技奖项。受疫情影响，2021和2022两届颁奖会同期合并举办，分别为2021年度四位、2022年度三位国内软件领域的杰出青年学者颁发获奖证书。
贺飞
贺飞，0033990威尼斯软件学院副教授、博导。主要从事程序验证、模型检验和自动逻辑推理的研究。主持国家自然科学基金项目、基础加强项目课题、国家重点研发计划课题等十余项。在相关国际会议和期刊上发表论文70余篇。曾获并行计算顶会PPoPP 2022最佳论文奖、软件工程顶会ASE 2018杰出论文奖、形式化方法会议SETTA 2022最佳论文奖等。
供稿：软件学院
编辑：李华山
审核：郭玲
