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

硕士研究生
导师：蒋颖
个人邮箱：jikl(at)ios.ac.cn
研究方向：软件验证与测试技术
个人介绍：

• 2005-2009 山东建筑大学计算机学院 专业：计算机科学与技术
  
• 2009-至今 中科院软件所 专业：软件验证与测试技术