毕业于北京大学物理系物理专业，现任北京大学信息科学技术学院教授，博士生导师，中国人工智能学会离散数学专委会委员。主讲离散数学、算法设计与分析课程，主要研究方向是算法设计与分析。发表多篇论文，出版多部教材、教学参考书与译著，其中包含国家级规划教材、北京市精品教材和教育部精品教材。所讲授的离散数学课程被评为国家级精品课程，并推荐为国家级视频资源共享课。两次被评为北京大学十佳教师，并获得北京市优秀教师称号。曾主持过多项国家教材和课程建设项目，并获得北京市教育教学成果（高等教育）一等奖。