曹钦翔(1990－), 男, 博士, 上海交通大学副教授, CCF专业会员, 曾获上海浦江人才计划资助. 长期从事基于定理证明的程序验证与程序逻辑研究, 论文主要发表在POPL、OOPSLA、JAR等国际著名会议或期刊, 其代表性工作是其领衔开发的VST程序验证工具系列. 在此基础上, 还参与撰写了Coq定理证明知名教材《Software Foundations》的第5卷. ;宋富(1983－), 男, 博士, 中国科学院软件研究所研究员, CCF高级会员, 主要研究系统与软件安全验证和测试技术、及相关逻辑和自动机理论, 主持和参与多项国家自然科学基金委青年、面上和重点项目, 曾获上海市浦江人才和上海市晨光学者人才计划资助、2021年秋季亚马逊研究奖、入选中国电子学会2023网络空间安全优秀论文, 已在国际著名会议或期刊(如IEEE S & P、USENIX Security、NDSS、POPL、OOPSLA、CAV、ESEC/FSE、ICSE、ASE、ISSTA、FM、ACM TOSEM、IEEE TSE、IEEE TDSC、I & C)发表80多篇论文;詹乃军(1971－), 男, 博士, 中国科学院软件研究所研究员, 中国科学院特聘研究员, 中国科学院大学岗位教授, 计算机科学国家重点实验室执行主任, CCF杰出会员, 国家杰出青年科学基金获得者. 研究方向包括: 实时、嵌入式和混成系统设计理论以及程序理论等. 任《Journal of Automated Reasoning》《Formal Aspects of Computing》《Journal of Logical and Algebraic Methods in Programming》《Research Direction: Cyber-physical Systems》《软件学报》《计算机研究与发展》《电子学报》《前瞻科技》等期刊编委, 国际会议MEMOCODE和SETTA的指导委员会委员, 多个国际会议程序委员会共同主席(如形式化方法旗舰会议FM 2021)和著名国际会议程序委员会委员(如CAV、RTSS、HSCC、ICCPS、EMSOFT等); 在著名国际会议和杂志发表论文100多篇, 出版专著2部, 编著4部.

曹钦翔, E-mail: caoqinxiang@sjtu.edu.cn;宋富, E-mail: songfu@ios.ac.cn;詹乃军, E-mail: znj@ios.ac.cn