热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
约瑟夫·斯发基斯
2023-07-23 22:05
  • 约瑟夫·斯发基斯
  • 约瑟夫·斯发基斯 - 个人资料

近期热点

资料介绍

约瑟夫·斯发基斯:

出生:1946年12月26日希腊克里特大区伊拉克利翁

国籍:希腊

公民权:希腊/法国

母校:国立雅典理工大学 格勒诺布尔-阿尔卑斯大学

知名于:模型检查(英语:Model checking)的研发

奖项:图灵奖(2007年)

科学生涯

研究领域:计算机科学家

机构:CNRS


约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查(英语:Model checking)取得的杰出贡献而获得图灵奖。

标签: 计算机科学家

相关热点

扫码添加好友