于1987年获得北京大学理学博士学位后留校任教；1987年至2003年先后担任北京大学数学科学学院讲师、副教授、教授；1996年晋升为教授、博士生导师；1998年至2003年先后担任北京大学数学科学学院副院长、北京大学副教务长；2003年进入北京航空航天大学工作；2003年至2004年担任北京航空航天大学理学院院长；2004年至2014年担任北京航空航天大学副校长；2014年担任北京航空航天大学学术委员会副主任、校务委员会副主任；2017年当选为中国科学院院士；2018年被评为国家万人计划教学名师；2020年担任北京大学人工智能研究院教授；2024年担任工业和信息化部人工智能标准化技术委员会主任委员。