[1]   2019.6 to  Now
Peking University  | Professor
[2]   2016.7  to  2019.6
Beijing Institute of Technology  | Vice President and Executive Vice President
[3]   2013.3  to  2016.6
Shanghai Jiao Tong University  | Vice President
[4]   2007.2 to  Now
Key Laboratory of High Confidence Software Technologies (PKU), MOE  | Director
[5]   2006.7  to  2014.7
School of Electronics Engineering and Computer Science, Peking University  | Dean
[6]   2003.9  to  2012.10
Institute of Software, Peking University  | Director
[7]   2018.10  to  2013.1
National Engineering Research Center for Software Engineering  | Director
[8]   2002.9  to  2006.7
School of Electronics Engineering and Computer Science, Peking University  | Vice-Dean
[9]   1999.3  to  2000.4
Bell-Labs, Lucent Technologies, USA  | Visiting Scientist
[10]   1997.8  to  2013.3
Department of Computer Science and Technology, Peking University  | Professor
[11]   1994.11  to  1997.7
Department of Computer Science and Technology, Peking University  | Associate Professor
[12]   1992.12  to  1994.10
Department of Computer Science and Technology, Peking University  | Post-doctoral Research Fellow
[13]   1987.4  to  1989.9
Nanjing University of Aeronautics & Astronautics, Department of Computer Science & Engineering  | Research Assistant