Education
- Phd. Degree: 2002 - 2007
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Supervisor: Professor Wenhui Zhang
Thesis: "On the Theoretical Aspects of Temporal Logics: Expressive Power and Complexity"
- Bachelor degree: 1998 - 2002
Department of Applied Mathematics and Software, Central South University.
Working Experience
- Full Research Professor: 2019 - present
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Visiting Scholar supported by China Scholarship Council: 2014 - 2015
IRIF, University Paris-Diderot, Paris, France
- Associate Research Professor: 2012 - 2019
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Assistant Research Professor: 2010 - 2012
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Postdoctorate: 2009 - 2010
Formal methods group, LaBRI, University of Bordeaux 1, France
- Postdoctorate: 2007 - 2009
NETQUEST group, LIAMA
More information can be found in my CV.