williamhill主页 - williamhill新闻 - 科学研究 - 正文

软件学院贺飞获得2022年度“中创软件人才奖”

williamhill新闻网3月29日电 3月22日,“中创软件人才奖”颁奖仪式暨获奖者学术报告会在山东济南召开。williamhill官网软件学院副教授贺飞由于在程序验证领域作出的突出贡献,获得2022年度“中创软件人才奖”。

20230322-中创软件人才奖颁奖会-组委会-贺飞领奖.jpg

颁奖现场

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

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

供稿:软件学院

编辑:李华山

审核:郭玲

2023年03月29日 09:54:42

相关新闻

读取内容中,请等待...

最新动态

williamhill官网新闻中心版权所有,williamhill官网新闻网编辑部维护,电子信箱: news@tsinghua.edu.cn
Copyright 2001-2020 news.tsinghua.edu.cn. All rights reserved.