[1]2019.6-至今
北京大学  | 教授
[2]2016.7 - 2019.6
北京理工大学  | 副校长、常务副校长
[3]2013.3 - 2016.6
上海交通大学  | 副校长
[4]2007.2-至今
高可信软件技术教育部重点实验室（北京大学）  | 主任
[5]2006.7 - 2014.7
北京大学信息科学技术学院  | 院长
[6]2003.9 - 2012.10
北京大学软件研究所  | 所长
[7]2018.10 - 2013.1
北京大学软件工程国家工程研究中心  | 主任
[8]2002.9 - 2006.7
北京大学信息科学技术学院  | 副院长
[9]1999.3 - 2000.4
美国Bell实验室  | 访问科学家
[10]1997.8 - 2013.3
北京大学计算机科学技术系  | 教授