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