跳转到内容

约瑟夫·斯发基斯

维基百科,自由的百科全书
约瑟夫·斯发基斯
出生 (1946-12-26) 1946年12月26日77岁)
 希腊克里特大区伊拉克利翁
国籍 希腊
公民权希腊/法国
母校国立雅典理工大学
格勒诺布尔-阿尔卑斯大学
知名于模型检查英语Model checking的研发
奖项图灵奖(2007年)
科学生涯
研究领域计算机科学家
机构CNRS

约瑟夫·斯发基斯(英语:Joseph Sifakis希腊语Ιωσήφ Σηφάκης,1946年12月26日)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克艾伦·爱默生一起因在模型检查英语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 [2013-12-22]. (原始内容存档于2008-05-09). 

外部链接