张弋 女，2001年7月出生于河南省新乡市。现为南京大学计算机学院软件工程组博士研究生。主要研究方向为软件分析与测试、编译器等。E-mail: yi@smail.nju.edu.cn

王豫 男，1991年10月出生于河南省商丘市。现为南京大学计算机学院准聘助理教授，CCF系统软件专委会委员、CCF软件工程专委会委员。主要研究方向为智能化软件分析测试。E-mail: yuwang_cs@nju.edu.cn

王林章 男，1973年4月出生于江苏省建湖县。现为南京大学计算机学院教授、博士生导师，计算机软件新技术全国重点实验室主任助理，中国计算机学会理事、会士，入选国家级高层次人才。主要研究方向为软件工程、软件安全、软件架构、智能化基础软件可信保障。E-mail: lzwang@nju.edu.cn