约瑟夫·斯发基斯
近期热点
资料介绍
出生:1946年12月26日希腊克里特大区伊拉克利翁
国籍:希腊
公民权:希腊/法国
母校:国立雅典理工大学 格勒诺布尔-阿尔卑斯大学
知名于:模型检查(英语:Model checking)的研发
奖项:图灵奖(2007年)
科学生涯
研究领域:计算机科学家
机构:CNRS
约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查(英语:Model checking)取得的杰出贡献而获得图灵奖。标签: 计算机科学家
相关热点
最新收录
- 彩乃圣罗(彩乃せいら) 07-24
- 心阳希美(心陽のぞ美) 07-24
- 七绪绯美佳(七緒ひみか 07-24
- 阳野爱实(陽野めぐみ) 07-24
- 1818黄金眼郑女士 07-24
- 发际线男孩小吴 07-24
- 乔瓦尼·多梅尼科·马拉迪 07-24
- 夏尔-欧仁·德洛奈 07-23
- 板垣公一 07-23
- 平山清次 07-23