约瑟夫·斯发基斯

✍ dations ◷ 2025-06-07 00:57:19 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友

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

相关

  • 沸点沸点是指物质沸腾时的温度,更严格的定义是液体成为气体的温度。液体在未达到沸点温度时也会通过挥发变成气体。然而,挥发是一种液体表面的现象,也就是说只有液体表面的分子才会
  • 系统发育树系统发生树(英语:phylogenetic tree)又称演化树或进化树(evolutionary tree),是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法(cladogram)。在图中,每
  • 黄体酮孕酮(英语:progesterone,亦被称为黄体酮、孕甾酮、黄体甾酮、助孕激素、助孕素、黄体素或助孕酮,其缩写为P4,也被称为(孕甾-4-烯-3,20-二酮),是一种内源性类固醇和孕激素性激素,也
  • 1990年1990年美国人口普查(英语:1990 United States Census)是由美国人口调查局于1990年进行的一次人口普查。第21次全美人口普查于1990年由人口调查局进行,并于1990年4月1日结束。在
  • 娜塔莉亚·阿林巴萨罗娃娜塔莉亚·阿林巴萨罗娃(俄语:Наталья Аринбасарова,1946年9月24日-)是一名俄罗斯女演员。她从1965年开始出演了超过30部电影。从1966至1969年,她嫁给了安德烈
  • 捷克宗教捷克宗教(2011)捷克共和国的宗教信仰到20世纪初都是被基督宗教所主导。自20世纪初以来,基督宗教信徒一直在稳定下降,至今基督徒在捷克仍然只是少数。然而,捷克共和国还是世界上历
  • 礼文岛坐标:45°22′57″N 141°01′41″E / 45.382537°N 141.028061°E / 45.382537; 141.028061礼文岛(日语:礼文島/れぶんとう Rebuntō */?)是位于日本北海道北部、稚内以西方60
  • 美国陆军现役中将列表按照美国法典第10卷第32章第525节之规定,陆军内部最多可配备上将7位、少将以上45位,当前陆军内部实际配备上将6位,因此中将最多可配39位,当前陆军内部实际配备中将为34名,另有联
  • 扩展形式的博弈博弈论中,与正则形式相应,扩展形式(英语:Extensive-form game)通过树来描述博弈。每个节点(称作决策节点)表示博弈进行中的每一个可能的状态。博弈从唯一的初始节点开始,通过由参与
  • 1932年奥运会1932年奥运会可以指: