美国新墨西哥大学DeepakKapur教授到软件所交流

　　提出的一种新的循环不变式生成方法，该方法可发现非线性以及含有数组表达式的循环不变式。

　　Deepak Kapur教授现任美国新墨西哥大学计算机科学系杰出教授。他得到中国科学院“外国专家特聘研究员”项目支持，在中国科学院软件研究所访问九个月。他的研究领域包括自动推理、符号计算、形式化方法。他长期担任Journal of Symbolic Computation，Journal of Automated Reasoning等相关领域国际主流杂志的编委（其中1993至2007年担任Journal of Automated Reasoning主编）；曾获得自动推理界最高奖Herbrand奖。