北京大学数学学院信息科学系教授。长期从事计算机软件与理论、程序设计语言和符号计算方面的研究和教学工作。已出版多部著作和译著，著有《计算概论（上）》（高等教育出版社），《从问题到程序：程序设计与C语言引论》（北京大学出版社），近年来，为机械工业出版社华章公司翻译了一系列国外著名教材，包括《程序设计实践》，《C++程序设计语言（特别版）》，《计算机程序的结构和解释》等等，获得读者的尊重与好评。在北京大学教授的主要课程：计算概论（一年级本科生，主要内容为C语言程序设计），程序设计技术与方法（本科生），程序设计语言原理（研究生），算法和数据结构（本科生），算法设计与分析（本科生和研究生），数理逻辑（本科生）等。