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

硕士研究生
导师：詹乃军
研究方向：混成系统验证
个人介绍：

• 2010年毕业于西安交通大学自动化专业，目前跟随詹乃军研究员从事实时混成系统验证方面的研究。
  
• 与丹麦技术大学张立军老师合作，从事概率模型检测方面的相关研究。