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

博士研究生
导师：林惠民
研究方向：软件模型检测、语言理论、软件验证
电子邮箱：lzy(at)ios.ac.cn
个人介绍：本人从事软件模型检测的理论、方法和工具的研究，目前主要研究并发递归程序的自动验证问题。
最近成果：

• Language-Theoretic Abstraction Refinement (FASE 2012)
• LCegar (A model checker for recursive multi-threaded programs)
• Other Publications DBLP

简历：

• 2009至今： 中国科学院 软件研究所 计算机科学国家重点实验室
• 2010-2011：Max Planck Institute for Software Systems, Germany (访问学生，导师Rupak Majumdar)
• 2007-2009：中国科学院 软件研究所 软件工程技术中心
• 2006-2007：中国科学院 软件研究所 软件工程技术中心(实习生)
• 2003-2007：北京交通大学 计算机科学与技术系

社会工作:

• 2009-2010：中国计算机学会 YOCSEF研究生论坛 主席
• 2007-2008：中国科学院研究生院 摄影协会 副会长