Loading AI tools
希腊计算机科学家 来自维基百科,自由的百科全书
约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日—)是一名希腊计算机科学家和他也有法国国籍[1] 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在模型检查取得的杰出贡献而获得图灵奖。[2]
此条目翻译品质不佳。 (2021年8月7日) |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.