向剑文(1975-),男,武汉理工大学计算机与人工智能学院教授,博士生导师,副院长,湖北省百人计划特聘专家,湖北省创新群体负责人,CCF系统软件专委会与软件工程专委会执行委员,中国电子学会可靠性分会委员,工业软件工程化与应用技术工信部重点实验室与工业控制系统安全与可靠测评共性技术工信部重点实验室学术委员会委员.主要研究方向包括软件可靠性工程与可信计算等.相关工作发表在IEEE TR、IEEE TIFS、IEEE TETC、RESS、ISSRE等期刊和会议上,担任ISSRE 2021等多个国际会议大会主席;郑征(1980-),男,北京航空航天大学教授,博士生导师,副院长,CCF软件工程专委会和容错计算专委会执行委员,航空学会测试专委会委员,获得2019年国防科技进步一等奖,2022年航空学会技术发明二等奖,2012年军队科技进步三等奖.主要研究方向为软件可靠性与测试,智能软件可靠性工程.相关工作发表在IEEE TSE、IEEE TDSC、IEEE TIFS、FSE、ISSRE等期刊和会议上,担任《IEEE Trans. on Reliability》、《Knowledge-based Systems》和《Int'l Journal of Computational Intelligence Systems》副主编,担任《IEEE Trans. on Dependable and Secure Computing》"软件可靠性与可信性工程"专刊客座主编,担任PRDC 2019等程序委员会主席,担任DeIS 2020等大会主席;申文博(1989-),男,浙江大学百人计划研究员,博士生导师,浙江大学计算机科学与工程系副主任,移动终端安全-浙江省工程中心副主任,CCF系统软件专委委员.主要研究方向为操作系统安全,云原生系统安全,软件供应链安全,芯片安全机制.在IEEE S&P、ACM CCS、USENIX Security等计算机安全、系统、网络国际顶级会议、期刊上发表论文30余篇,获得3项杰出论文奖(NDSS 16、AsiaCCS 17、ACSAC 22).主持国家自然科学基金、科技部重点研发课题等10余项科研项目.常年活跃于系统/软件安全攻防的第一线,通过分析实际攻击,设计相应的系统保护方案,具有学术界和工业界的双重研究经历和视野;多年来设计、实现并主导部署了多种软件及操作系统安全机制,保护超过亿部设备系统安全;常瑞(1981-),女,浙江大学副教授,博士生导师,CCF高级会员,CCF系统软件、体系结构和形式化方法专委委员.从事系统安全方向的科研与教学10余年,于解放军信息工程大学获得计算机科学与技术博士学位,并获ACM中国优秀博士学位论文分会奖.研究成果曾获省部级教学成果一等奖1项、省部级科技进步二等奖2项等,被评为全军优秀教师.研究方向包括系统安全、软件供应链安全、程序分析、形式化验证等,相关研究工作发表在ASPLOS、TDSC、TSE、DAC、S&P等国际顶级会议/期刊上.近3年指导学生多次获奖;田聪(1981-),女,西安电子科技大学研究生院常务副院长,计算机科学与技术学院教授,博士生导师,教育部"长江学者"特聘教授,获国家自然科学基金优秀青年基金,教育部新世纪优秀人才资助.主要研究方向为软件安全、智能软件开发方法、可信软件基础理论与方法,相关工作发表于TSE、TOSEM、LICS等CCF A类期刊、会议以及著名国际期刊TCS.现任国际期刊《JOCO》编委、《软件学报》编委,中国计算机学会杰出会员、形式化方法专委会常委、女工委委员.担任ICFEM 2017组织委员会主席(获优秀组织者奖)以及COCOON 2019、SATE 2019等程序委员会主席.获教育部自然科学一等奖和陕西省科学技术一等奖

向剑文，jwxiang@whut.edu.cn