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

博士研究生
导师：林惠民
研究方向：模型检测，自动机，parity game
邮箱：wangch(at)ios.ac.cn
个人介绍：

• 2004.9-2007.6 吉林大学软件学院
• 2008.9-2009.6 中科院研究生院
• 2009.9-2010.6 中科院软件所基础软件国家工程中心
• 2010.9-目前 中科院软件所计算机科学国家重点实验室