贺飞,男,清华大学软件学院长聘副教授。主要从事程序验证理论、方法与技术研究。在循环不变式推导、循环终止性证明、面向程序验证的自动推理等问题的研究上取得突破,在并发程序验证、回归程序验证等方面取得了国际领先的成果。研制的工具在中航、中车、华为等公司得到应用并产生了良好的社会效益;研制的并发程序验证工具Deagle获第11届国际软件验证大赛(SV-COMP 2022)并发安全赛道第一名。在POPL, CAV, PLDI, OOPSLA, PPoPP, ICSE, ESEC/FSE, ASE等顶级国际会议和著名国际期刊上发表论文70余篇。获并行与分布计算旗舰会议PPoPP 2022最佳论文奖、软件工程顶级会议ASE 2018杰出论文奖。
2022年获得中创软件人才奖。

田聪,女,西安电子科技大学计算机科学与技术学院教授,教育部长江学者特聘教授。主要研究方向为可信软件基础理论与方法、系统软件开发与可信保障、嵌入式软件智能合成与质量保障等,解决了无穷区间的命题时序逻辑的判定难题,提出了高效的程序验证状态空间缩减方法,研制了国产自主可控安全攸关软件资源共享和协同验证平台MSV,在理论计算机科学、软件工程以及人工智能领域顶尖期刊和会议(LICS, TCS, ICSE, FSE, ASE, TOSEM, TSE, TCAD, IJCAI等)发表学术论文100余篇,成果应用于探月工程三期控制软件等软件的研制中,为国家重大工程的成功实施做出了重要贡献。获教育部自然科学一等奖(排名第二)和陕西省科学技术一等奖(排名第二)。
2022年获得中创软件人才奖。

张世华,男,中国科学院数学与系统科学研究院研究员、中国科学院随机复杂结构与数据科学重点实验室副主任、中国科学院大学岗位教授。主要从事生物信息计算、机器智能与优化交叉研究,主要成果发表在Cell、Nature Communications、Advanced Science、IEEE TPAMI、IEEE TKDE、IEEE TNNLS等杂志。曾荣获中国科学院院长特别奖、全国百篇优秀博士论文奖、中国青年科技奖、中国科学院卢嘉锡青年人才奖、国家自然科学基金优秀青年基金、中国科学院卓越青年科学家项目、国家万人计划青年拔尖人才、教育部自然科学奖二等奖(排名第三)等。成果入选2021年度中国生物信息学十大进展、2019年度中国生物信息学十大算法和工具。现任PLOS Computational Biology和BMC Genomics等杂志编委,发起组织了“数学、计算机与生命科学交叉研究”青年学者论坛(2013—2022)。
2022年获得中创软件人才奖。