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

博士研究生
导师：张文辉
研究方向：形式化验证方法
个人介绍：

• 2008级硕博连读生，于2011年3月转为博士。
  
• 硕士导师为李勇坚副研究员，硕士期间从事硬件模型检测STE方法的研究。
  
• 博士导师为张文辉研究员，博士期间将从事嵌入式系统的形式化验证方法研究。