2016-12-2 日本JAIST(北陆先端科学技术大学院大学)的Mizuhito Ogawa教授应邀到实验室作学术报告

2016年12月2日日本北陆先端科学技术大学院大学（JAIST）的Mizuhito Ogawa教授应邀至华东师范大学上海市高可信计算重点实验室，在理科楼B1002为实验室师生作了题为《Binary code analyzer BE-PUM with statistical methods》的学术报告，并与实验室师生进行了学术交流。

Mizuhito Ogawa教授基于近几年来在二进制代码分析（Binary Code Analysis）领域的科研经历，深入浅出地讲解了二进制代码分析工作的研究背景、重要意义、科研难点，以及该工作的研究进展和工作展望。通过本次学术交流与互动，加深了师生对于二进制代码分析领域的理解，加强了实验室的教师与北陆先端科学技术大学院大学在恶意软件分析和检测领域开展合作的愿景。

Mizuhito Ogawa教授任职于北陆先端科学技术大学院大学情报科学系。主要研究程序分析和验证，项重写系统理论，组合数学，以及模型检测、定理证明等多种形式化方法技术。