计算机科学

首页 > 计算机科学

约瑟夫·斯发基斯

约瑟夫·斯发基斯
Joseph Sifakis img 0966.jpg
出生 1946年12月26日
希腊克里特大区伊拉克利翁
国籍 希腊
公民权 希腊/法国
母校 国立雅典理工大学
University of Grenoble
知名于 Model-Checking的研发
奖项 图灵奖 (2007)
科学生涯
研究领域 计算机科学家
机构 CNRS

约瑟夫·斯发基斯英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。[2]

参照

  1. ^ Aperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
  2. ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04. 

外部链接

  • Personal homepage
  • Turing Award announcement

上一篇:阿迪·沙米尔
下一篇:司马贺
相关推荐