CCF 会士，常务理事，2021CCF杰出成就奖 （夏培肃）获得者。 职称：北京大学计算机学院教授， 北京大学高可信软件技术教育部重点实验室 常务副主任。 研究方向：主要研究方向为知识工程、软件需求工程。 邮箱： zhijin@pku.edu.cn
