（1946-2020）北京大学信息科学技术学院教授。长期从事离散数学、算法分析与计算复杂性方向的教学和研究工作，国家精品课“离散数学”课程主持人。完成多项国家研究课题；撰写多部数材与译著，包括高等教育精品教材、国家级规划教材、北京市精品教材。曾获北京市教学成果奖一等奖；获评北京市优秀教师和北京大学“十佳教师”。