约瑟夫·斯发基斯

Sifakis年青时候分别在希腊的雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。目前Sifakis在法国的Centre national de la recherche scientifique at the VERIMAG laboratory进行研究工作。Sifakis本人也是VERIMAG实验室的创办人。

人物经历

2021年7月，参加世界人工智能大会。^[1]

人物成就

Joseph Sifakis:第一位荣获图灵奖的法国研究人员 回目录Joseph Sifakis和Edmund Clarke（卡耐基梅隆大学CMU教授）及Allen Emerson（得克萨斯大学奥斯汀分校教授）于2008年2月4日一起荣获了2007年度的图灵奖。

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

Joseph Sifaki是法国国家科研中心（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个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。

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

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

参考资料

[1] Linux之父、大数据之父确认参加2021世界人工智能大会 · 界面[引用日期2021-06-21]

相关合集

21世纪以来的图灵奖得主

共27个词条590阅读

姚期智

中国科学院院士

奥利·约翰·达尔

著名的计算机学家

克利斯登·奈加特

克利斯登·奈加特（Kristen Nygaard，1926年8月27日—2002年8月10日） ，出生于挪威奥斯陆，是著名的计算机科学家，社会活动家。1948年大学毕业后，他进入挪威国防研究院NDRE，从事有关计算、程序设计和运筹学方面的工作。经过不断的努力，他成为SIMULA-67语言的创始人，面向对象技术的先驱，曾获得冯·诺依曼奖和第36届图灵奖。此外，他还一直活跃于挪威政坛，并曾任威左翼非社会主义政党Venstre的执行委员会成员，该党战略委员会主席。他一生获得无数荣誉，深受挪威人民爱戴。

查看更多