日本北陆先端科学技术大学院大学特聘教授Hiroakira Ono教授学术报告
时间:2011年10月26日——10月28日,每天下午14:30——17:00
地点:25教学楼B座407会议室
报告主题:Logic for Computer Science
主讲人:日本北陆先端科学技术大学院大学特聘教授 Hiroakira Ono教授
主讲人简介:Hiroakira Ono教授历任津田塾大学副教授、广岛大学教授、北陆先端科技大教授、北陆先端科技大副校长,2008年被授予特聘教授。其主要研究领域为:有关亚结构逻辑的代数的研究,模态逻辑,机械证明/自動定理证明等。
欢迎各位教师和学生参加!