陈睿，博士，北京轩宇信息技术有限公司软件工具研发部部长，中国计算机学会形式化方法专委会委员，北京市计算机学会理事。长期从事软件分析与测试技术和工具的研发，作为杨孟飞院士可信软件研究团队主要成员之一，主持或承担国家自然科学基金、863计划等课题6项，发表论文15篇，获发明专利10项、软件著作权13项。主持研制的多个软件开发和测试工具填补了国内空白，并率先获得了权威国际认证，在军工、核电、汽车等领域的30余家单位商用。

万锐媛，清华大学博士，UC Berkeley 访问学者。从事ICT领域子系统、系统级测试7年。现任华为智能化软件测试规划师、架构师，AI智能化测试工具链HUTAF TestBot 总体SE。

王磊 百度AI测试部 资深测试工程师。2005年加入百度质量部，在基础架构、移动客户端有丰富的测试经验，目前主要负责AI事业部AI数据质量提升方面的工作，以及AI技术在测试领域的应用。

陈敏刚，副研究员，博士毕业于上海交通大学计算机系，国家信标委大数据工作组成员、上海市信息技术领域技术预见专家、上海市科技进步奖获得者，目前在上海科学院所属上海计算机软件技术开发中心/上海市计算机软件评测重点实验室从事人工智能、大数据等新一代信息系统的评测与应用研究工作。

曾辉，工学硕士，研究员级高级工程师。1993年大学毕业至今在中国核动力院设计所工作。一直从事计算机软件领域各种科研工作，获得国防科技工业企业管理创新成果二等奖1项和三等奖2项，中核集团科技进步奖3项和软件著作权 10项，公开发表论文10余篇。2017年被聘任为中国核动力院院数字反应堆平台学科带头人，2018年被聘为中国核动力院科技委委员。曾主持核动力院软件工程化体系建设、应用和持续改进工作，已取得GJB5000A资质。

Yang Liu，The associate professor and 2019 University   Leadership Forum Chair, School of Computer Science and   Engineering, Nanyang Technological University. His current   research interests are related to Formal Methods, Security, Software   Engineering and Multi-Agent systems. He is also the Programme Director for   HP-NTU Digital Manufacturing Corp Lab, Deputy Director of the National   Satellite of Excellence of Singapore and Cluster Director in Cybersecurity,   Energy Research Institute @NTU.

Huang Chen，a senior   project manager of Beijing Xuan Yu Information Technology Co., Ltd. and a   senior engineer. She has been engaged in the technical research work of   embedded software testing and quality standards in aerospace for a long time.   She participates in many pre-research projects, the research and   demonstration work of the National Natural Fund projects, and has won two   software copyrights, the first prize of provincial National Defense Science   and technology progress, and more than 10 papers have been published, all of   which are EI searches or core journals. Five national invention patents have been applied for, of which three   have been authorized.

刘冉，现任ThoughtWorks资深软件质量咨询师，超过15年软件开发和测试工作经验。对于Web应用测试，Web服务测试，服务器性能测试，移动测试，安全测试，测试驱动开发，敏捷中的QA，测试分层一体化解决方案，以及SCM和CI有深入的理解，现在关注于全程软件自动化测试。《代码管理核心技术及实践》作者。

李鹏宇，硕士，高级工程师。测控导航专业副主任测试师，在“载人航天”重大专项型号任务中，承担神舟、天宫、货运飞船测控通信分系统BD2、GPS、GLONASS、GNSS导航信息处理等测评任务。载荷专业副主任测试师，在“探月工程”重大专项型号任务中，承担嫦娥一、三、五号微波、激光、雷达、太阳风粒子、相机等载荷第三方测评任务。曾经系统研究了ESA软件产品体系技术方案。曾担任高可信嵌入式软件实验室智能软件工程技术预研课题负责人，重点突破基于机器学习、深度学习的软件缺陷预测和检测技术、软件故障定位和修复技术，构建软件缺陷和软件故障仿真模型并实验验证查准率、查全率等评价指标。

颜运强，研究员，中物院计算所产品技术总监，项目首席专家，CCF中国计算机协会容错专委会委员

1. 先后担任国防科工局技术基础、国防基础科研等多个课题的负责人，负责多个军用装备地面设备研制以及型号软件第三方确认测试、定型测评；

2. 获国家军队科技进步二等奖2项，三等奖3项，申请发明专利3项，获得软件著作权4项；

3. 在软件开发与测试、系统仿真、测试建模、自动化测试等方面发表论文30余篇。

张任伟，清华大学博士毕业，软件测试、软件工程方向。现就职于华为2012实验室中央软件院，从事代码质量提升相关方法、工具的研究与落地，致力于解决业务部门在开发过程中遇到的痛点。在静态分析引擎，动态测试方法的研究、应用方面较有经验。

Xiao Xiao，PhD from HKUST in 2016. In the past 10   years, his research focused on developing static analysis methodologies to   uncover code properties for large scale software. He published frequently on   PL/SE top venues including POPL, PLDI, OOPSLA, ICSE, and so on. Starting from   2014, he has been leading the Pinpoint project to develop an industrial   strength program verification tool that emphasizes highly efficient and   scalable path sensitive static analysis. Later he co-founded Sourcebrella to   deliver Pinpoint in DevOps workflow for software enterprises. Users of   Pinpoint include leading Internet companies, financial corporations, and   smart manufacturers.

房春荣博士， 南京大学软件学院教师，就职于智能软件工程实验室（iSE），主要从事智能软件工程研究。主持国家自然科学基金青年项目1项，承担国家重点研发计划2项。任AIST等学术会议的程序委员会共同主席。在ICSE、FSE、ASE、ICST、TR、SQJ等会议和期刊发表论文20余篇，申请发明专利10余项，部分成果已经在百度、华为等知名企业应用。主持教育部产学合作协同育人项目1项，是2018国家精品在线开放课程《软件测试》主要成员。