约瑟夫·斯发基斯（计算机学家）

约瑟夫·斯发基斯（约瑟夫·斯发基斯）是一个来自希腊的计算机科学家。1946年出生于希腊的克里特大区伊拉克利翁，约瑟夫·斯发基斯年青时候分别在希腊的雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。目前约瑟夫·斯发基斯在法国的Centre national de la recherche scientifique at the VERIMAG laboratory进行研究工作。约瑟夫·斯发基斯本人也是VERIMAG实验室的创办人。

约瑟夫·斯发基斯和Edmund Clarke（卡耐基梅隆大学CMU教授）及Allen Emerson（得克萨斯大学奥斯汀分校教授）于2008年2月4日一起荣获了2007年度的图灵奖。

图灵奖由美国计算机协会（ACM）于1966年设立，是每年专门对计算机事业做出重要贡献的个人颁发的最高奖励。美国计算机协会创立于1947年，这个代表计算机专业人士的国际组织以出版发行该领域的科研成果及组织专业研讨会为主要任务。是法国研究人员第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。

约瑟夫·斯发基斯是法国国家科研中心（CNRS）的研究总监，法国国家科研中心2001年银质奖章的获得者，获有工程师博士学位和法国格勒诺布尔一大（UJF）国家博士生学位。他亦是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室（UJF/CNRS/INPG）的创始人。

由于在将模型检查方法应用于实时系统的验证方面的工作而使Joseph Sifaki在国际上获得声誉。他是广泛应用于工业界的“模型检查”技术的发明者。

模型检查（Model-Checking），是用数学算法来验证一个软件或硬件系统设计是否满足预设的需求（例如在安全性或可靠性方面）。模型检查理论基础是1981年由Sifakis在法国、Clarke和 Emerson在美国分别独立提出的。模型检查在工业检测方面有诸多应用：如芯片检测、通信协议、外部设备主控软件、嵌入式系统（如在飞机、火车、火箭、卫星或移动电话）以及安全算法等。

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

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

法国驻华大使馆对这一荣誉感到欢欣。授予约瑟夫·斯发基斯2007年度图灵奖，不仅使其成为第一位拥有此殊容的法国科学家，也进一步证明了法国在计算机领域的研究水平。