陈振邦(1981-),男,博士,副教授,CCF专业会员.主要研究领域为程序分析,形式化方法及其应用;冯新宇(1978-),男,博士,教授,CCF专业会员.主要研究领域为程序验证,程序设计语言理论;刘志明(1961-),男,博士,教授,博士生导师,CCF高级会员.主要研究领域为软件理论与方法.

陈振邦,E-mail:zbchen@nudt.edu.cn;冯新宇,E-mail:xyfeng@nju.edu.cn;刘志明,E-mail:zhimingliu88@swu.edu.cn