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

博士研究生
导师：林惠民
邮箱：dmwang(at)ios.ac.cn
研究方向：形式化方法、模型检测、并发程序测试
个人介绍：

• 2002年-2006年 南京大学软件学院 工学学士
• 2006年-至今 中国科学院软件研究所计算机科学国家重点实验室 硕博连读