报告主题：计算机科学的挑战与未来方向

报 告 人：Joseph Sifakis 教授

报告时间：2011年10月12日上午10点

报告地点：学11-301

报告人简介：Joseph Sifakis 教授是法国著名计算机科学家，作为模型检查（Model-Checking）理论奠基人之一，由于在“将模型检查发展为被硬件和软件业中所广泛采纳的高效验证”技术上的贡献，于2007年获得计算机科学领域最高奖——ACM图灵奖。Joseph Sifakis 教授是法国国家科研中心（CNRS）的研究总监，法国国家科研中心2001年银质奖章的获得者。获工程师博士学位和法国格勒诺布尔一大（UJF）国家博士生学位，同时，也是位于法国Grenoble的顶尖嵌入式系统研究中心Verimag实验室的创始人。

欢迎广大师生积极参加。

信息工程学院

2011年10月9日