非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
非常抱歉，
你要访问的页面不存在，
验证码：
职称:Associate Professor
所属学校:Rensselaer Polytechnic Institute
所属院系:Computer Science Department
所属专业:Computer Science
联系方式:(518) 276-6887
My research interests are in the areas of software engineering, compilers, and programming languages. Particularly, I am interested in static and dynamic program analysis, and its applications to software verification, testing and understanding.
