CCF会士、常务理事、软件工程专业委员会主任。北京大学教授，国家杰出青年基金获得者，973项目首席科学家。现任北京大学高可信软件技术教育部重点实验室常务副主任。主要研究领域为基于知识的软件工程，在软件需求工程、知识工程等领域取得系统性和具有创新性的研究成果。先后主持国家基础研究发展规划项目、国家高技术计划项目、国家自然科学重点基金项目等二十余项。出版或合作出版英文专著2部，译著2部，发表论文150多篇。
京公网安备 11010802032778号