出自计算机科学国家重点实验室

博士研究生
导师：蒋颖
研究方向：程序设计基础，程序理论与验证技术
个人介绍：

• 我是中国科学院研究生院的博士生，培养单位是中国科学院研软件研究所。我的导师是蒋颖教授。
  
• 2010年我被中欧联合培养项目中的法国信息自动化研究院项目录取。中方导师是蒋颖教授，法方导师是Gilles Dowek教授。
• 研究兴趣有定理自动证明, 自动机理论, 树自动机, 进程演算, 模型检测, 共代数方法, 编程。