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.