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

硕士研究生
导师：柳欣欣
邮箱：liangh(at)ios.ac.cn
研究方向：程序的逻辑理论，模型检测
个人介绍：

• 2005年-2009年 厦门大学计算机科学系
  
• 2009年-至今 中国科学院软件研究所计算机国家重点实验室
  
• 兴趣爱好：摄影、旅游、乒乓球、羽毛球