张昕 男，1989年9月出生于湖北省武汉市.现任北京大学新体制助理教授、研究员.研究方向为程序设计语言和软件工程.获得国家级青年人才项目、PLDI杰出论文奖、FSE杰出论文奖等.

王冠成 男，1993年7月出生于江苏省连云港市.现为北京大学计算机学院软件所博士研究生.主要研究方向为软件测试与调试.E-mail: guancheng.wang@pku.edu.cn

吴宜谦 男，1999年5月出生于江西省南昌市.现为北京大学计算机学院软件所博士研究生.主要研究方向为软件工程.E-mail: wuyiqian@pku.edu.cn

陈逸凡 男， 1997年8月出生于江苏省南通市.现为北京大学计算机学院软件所博士研究生.主要研究方向为程序分析.E-mail: yf_chen@pku.edu.cn

李天驰 男，2001年12月出生于河北省邢台市.现为北京大学计算机学院软件研究所博士研究生.主要研究方向为程序分析.E-mail: litianchi@pku.edu.cn

张羿凡 男，2000年11月出生于北京市.现为北京大学计算机学院程序设计语言研究室博士研究生.主要研究方向为程序分析.E-mail: 2301111981@stu.pku.edu.cn

熊英飞 男，1982年5月出生于四川省达州市.现任北京大学新体制长聘副教授、研究员.研究方向是程序设计语言和软件工程.获得电子学会自然科学一等奖（排名1）、CCF-IEEE CS青年科学家奖、MODELS十年最有影响力论文奖等.中国电子学会会员编号：E190017004M.E-mail: xiongyf@pku.edu.cn