王林章(1973-),男,江苏建湖人,博士,南京大学计算机科学与技术系教授,中国计算机学会系统软件专委会秘书长,CCF杰出会员.主要研究领域为软件测试,模型驱动软件测试与验证,软件系统安全测试.已发表学术论文50多篇,曾获OOPSLA 2013最佳论文奖;陈恺(1982-),男,博士,中国科学院信息工程研究所研究员,中国科学院大学教授,入选国家"万人计划"青年拔尖人才,北京市"科技新星",中国计算机学会系统软件专委会委员,中国保密协会隐私保护专委会委员,CCF专业会员.主要研究领域为软件与系统安全,在S&P、USENIX Security、CCS、ICSE等发表论文70余篇,获ISSRE 2016最佳论文奖;王戟(1969-),男,博士,国防科技大学教授,博士生导师,中国计算机学会软件工程专委会副主任,形式化方法专委会副主任,CCF高级会员.主要研究领域为高可信软件工程,分布与并行计算程序设计.2007年获国家杰出青年科学基金资助,2009年入选教育部长江学者奖励计划特聘教授.

王林章,E-mail:lzwang@nju.edu.cn