2011年6月2日，应98858vip威尼斯下载邀请，来自日本大学计算逻辑研究所的小林英恒教授为我院师生做了题目为“基于定理证明工具Isabelle/HOL的自动推理系统”的学术报告，刘晓平院长主持报告会。小林教授首先对Isabelle/HOL这一著名的定理证明工具进行了介绍。随后就为什么要设计自动推理系统进行解释，并例举出目前世界著名的一些自动推理系统，最后小林教授就其自己提出的H-prover系统进行了详细的说明，并演示了相关工作。

在场师生以热烈的掌声感谢小林教授精彩的报告，并积极向小林教授请教，小林教授对我院师生的工作给予指导，报告会在热烈的掌声中结束。报告会之后，在学院有关同志的陪同下，小林教授还参观了安全关键工业测控技术教育部工程研究中心，饶有兴趣地与相关老师进行了交流和沟通。

小林英恒教授，毕业于日本京都大学，主修数学，目前就职于日本大学科学与技术学院数学系，同时也是中国科学研究院高级研究员。