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

硕士研究生
导师：李勇坚
研究方向：软件验证、模型检测
个人介绍：

• 2006-2010 吉林大学(软件学院软件工程专业) 本科
• 2006至今 中国科学院软件研究所(计算机科学国家重点实验室) 硕士