中国计算机技术的播火人之一，北京大学校长助理，1982年获哈尔滨工业大学学士学位，1986年获美国史蒂文斯理工学院博士学位。现任北京大学计算机科学技术系教授，博士生导师，中国计算机学会副理事长，教育部高等学校计算机教学指导委员会副主任委员，美国电气工程荣誉学社Eta Kappa Nu社员，IEEE高级会员，ACM会员。