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

硕士研究生
导师：林惠民
研究方向：形式化方法、软件验证、模型检测
个人介绍：

• 2009年6月获得计算机工学学士学位。
  
• 2009年9月免试推荐进入中国科学院软件研究所攻读研究生。