曾任北京大学计算机系主任、校长助理，教育部计算机教学指导委员会副主任。曾获得2018北京市教学成果奖一等奖(2项)、2017国家精品在线开放课程(2门)、2014中国计算机学会杰出教育奖、2013中国计算机学会王选奖，以及2008国家教学成果奖二等奖。