大学生就业信息网好选择,百度一下!

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

留学 2021-01-06 04:08105www.helpinfo.net大学生就业网

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

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

大学生就业信息网 本站收录内容均来自互联网,并不代表本站观点,不为其版权负责,如有侵权,请及时联系站长删除 备案号:

联系QQ: 邮箱地址:kefuzhijia@gmail.com