Resume

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
- Associate Researcher: 2012 - present
     State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Assistant Researcher: 2010 - 2012
     State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
- Postdoc: 2009 - 2010
     Formal methods group, LaBRI, University of Bordeaux 1, France
     Supervisor: Professor Anca Muscholl
- Postdoc: 2007 - 2009
      NETQUEST group, LIAMA
     Supervisor: Professor Stephane Grumbach


More information can be found in my CV.