Home

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