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

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

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