在国家外国专家局“与大师对话——诺贝尔奖获得者校园行”重点项目的支持下，2007年度美国计算机协会图灵奖获得者、欧洲科学院院士约瑟夫·斯发基思教授将于2015年12月中旬应邀来校工作。12月14日下午将举办约瑟夫·斯发基思教授学术报告会。欢迎广大师生参加报告会。
主讲人：约瑟夫·斯发基思教授（Joseph Sifakis）
时间：2015年12月14日14:30-16:30
地点：汉卿会堂学术报告厅
报告主题：计算是一门科学吗？（Is Computing a Science?）
主讲人简介：
约瑟夫·斯发基思教授因提出模型检测理论荣获2007年度图灵奖。这是法国科学家第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。约瑟夫·斯发基思教授是欧洲科学院院士、法国国家科学研究中心研究总监，法国国家科学研究中心2001年银质奖章的获得者，他也是国际著名嵌入式系统研究中心Verimag实验室的创始人。