贺飞，男，清华大学软件学院长聘副教授。主要从事程序验证理论、方法与技术研究。在循环不变式推导、循环终止性证明、面向程序验证的自动推理等问题的研究上取得突破，在并发程序验证、回归程序验证等方面取得了国际领先的成果。研制的工具在中航、中车、华为等公司得到应用并产生了良好的社会效益；研制的并发程序验证工具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年获得中创软件人才奖。