约瑟夫·斯发基斯
希腊计算机科学家
此條目翻譯品質不佳。 (2021年8月7日) |
约瑟夫·斯发基斯(英語:Joseph Sifakis,希臘語:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型檢查取得的杰出贡献而获得图灵奖。[2]
约瑟夫·斯发基斯 | |
---|---|
![]() | |
出生 | ![]() | 1946年12月26日
国籍 | ![]() |
公民权 | 希腊/法国 |
母校 | 国立雅典理工大学 格勒诺布尔-阿尔卑斯大学 |
知名于 | 模型檢查的研发 |
奖项 | 图灵奖(2007年) |
科学生涯 | |
研究领域 | 计算机科学家 |
机构 | CNRS |
参照
- ^ 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
- ^ 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).
外部链接
- 维基共享资源上的相關多媒體資源:约瑟夫·斯发基斯
- Personal homepage (页面存档备份,存于互联网档案馆)
- Turing Award announcement