教育背景
- 硕博连读：2002 - 2007
      中国科学院软件研究所计算机科学国家重点实验室
    指导老师：张文辉研究员
     博士论文: “时序逻辑的理论方面：表达能力与复杂性”
- 本科：1998 - 2002
      中南大学应用数学与软件系

工作经历
- 副研究员：2012 - 现在
     中国科学院软件研究所计算机科学国家重点实验室
- 助理研究员：2010 - 2012
     中国科学院软件研究所计算机科学国家重点实验室
- 博士后：2009 - 2010
     形式化方法研究组，LaBRI波尔多一大，法国
     合作导师：Anca Muscholl 教授
- 博士后：2007 - 2009
      NETQUEST研究组， 中法信息、自动化与应用数学联合实验室
     合作导师：Stephane Grumbach教授

更多信息请参考我的简历。