报告题目：Modeling Architectures and Their Properties

报告 人：约瑟夫·斯发基思 教授

报告时间：2015年12月17日  10:10

报告地点：信息学馆301学术报告厅

邀 请 人：王义 教授

报告人简介：

约瑟夫·斯发基思教授1946年出生于希腊，曾分别在希腊雅典国立科技大学电子工程系和法国格勒诺布尔大学计算机系学习，获有工程师博士学位和法国格勒诺布尔一大博士学位。他是欧洲科学院院士、法国国家科学研究中心（CNRS）研究总监，法国国家科学研究中心2001年银质奖章的获得者，他也是位于法国格勒诺布尔的国际著名嵌入式系统研究中心Verimag实验室的创始人。

2008年2月4日，法国Verimag实验室约瑟夫·斯发基思教授（Joseph Sifakis）和卡耐基梅隆大学爱德蒙·克拉克教授（Edmund Clarke）、得克萨斯大学奥斯汀分校艾伦·爱默生教授（Allen Emerson）共同荣获了2007年度的图灵奖。这是法国科学家第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。

约瑟夫·斯发基思教授曾积极致力于将科研成果向工业合作伙伴转让，他作为欧洲“卓越网络”（Network of Excellence）嵌入式系统设计研究联盟“ARTIST2 Embedded Systems Design”的技术协调人，负责对35个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。

约瑟夫·斯发基思教授的研究工作具有决定性意义，并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术今天被广泛应用于集成电路工业中，用于设计复杂的系统并能够使其保证符合预设的规范。模型检测在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。