约瑟夫·斯发基斯
约瑟夫·斯发基斯（英語：，希臘語：，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
- . University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.