约瑟夫·斯发基斯
外观
维基百科,自由的百科全书
约瑟夫·斯发基斯 | |
---|---|
出生 | (1946-12-26) 1946年12月26日(77岁) 希腊克里特大区伊拉克利翁 |
国籍 | 希腊 |
公民权 | 希腊/法国 |
母校 | 国立雅典理工大学 格勒诺布尔-阿尔卑斯大学 |
知名于 | 模型检查(英语:Model checking)的研发 |
奖项 | 图灵奖(2007年) |
科学生涯 | |
研究领域 | 计算机科学家 |
机构 | CNRS |
约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查(英语:Model checking)取得的杰出贡献而获得图灵奖。[2]
参照
[编辑]- ^ 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
图灵奖获得者 | |
---|---|
1960年代 |
|
1970年代 | |
1980年代 | |
1990年代 |
|
2000年代 | |
2010年代 | |
2020年代 | |
隐藏分类:
- 使用ISBN魔术链接的页面
- 自2021年8月粗劣翻译
- 含有hCards的条目
- 本地相关图片与维基数据不同
- 含有英语的条目
- 含有希腊语的条目
- 维基共享资源分类链接使用了维基数据上的匹配项
- 包含ISNI标识符的维基百科条目
- 包含VIAF标识符的维基百科条目
- 包含WorldCat实体标识符的维基百科条目
- 包含BIBSYS标识符的维基百科条目
- 包含GND标识符的维基百科条目
- 包含J9U标识符的维基百科条目
- 包含LCCN标识符的维基百科条目
- 包含NKC标识符的维基百科条目
- 包含NTA标识符的维基百科条目
- 包含ACM-DL标识符的维基百科条目
- 包含CINII标识符的维基百科条目
- 包含DBLP标识符的维基百科条目
- 包含Google Scholar标识符的维基百科条目
- 包含MATHSN标识符的维基百科条目
- 包含MGP标识符的维基百科条目
- 包含ORCID标识符的维基百科条目
- 包含Scopus标识符的维基百科条目
- 包含ZBMATH标识符的维基百科条目
- 包含CONOR标识符的维基百科条目
- 包含SUDOC标识符的维基百科条目