约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日-)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。
首页 >
约瑟夫·斯发基斯
✍ dations ◷ 2025-06-29 16:05:19 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友
相关
- 微小纺锤形噬菌体科微小纺锤形噬菌体科(Fuselloviridae)是双链DNA病毒中的一个科,该类病毒外观呈纺锤状,主要感染于古细菌。下有一属:代表种:
- 八正道八圣道分(巴利语:Ariyo aṭṭhaṅgiko maggo,梵语:Ārya aṣṭāṅga mārgaḥ),又译为八正道、八圣道、八支正道、八支圣道、八圣支道,佛教术语,是指佛教徒修行达到最高理想境地涅
- 高屏地区高屏地区,原称高高屏,是指台湾南部偏西南濒台湾海峡的地区,由高雄市、屏东县所构成,居住人口超过361万,聚集超过六分之一的台湾人口,拥有高雄都会区一个大型都会化地带,其余地区主
- 光谱数据一氧化碳的一些性质如下所述。一氧化碳的安全技术说明书(MSDS)可以参见此页面。不指明时,均指标准状态。其余信息参见Wikipedia:化学信息框。
- 维克森林威克森林大学(英语:Wake Forest University,或译为维克弗斯特大学),是位于美国北卡罗来纳州温斯顿-塞勒姆的一所私立研究型综合性大学(始建于1834年)。在2020年US News全国大学排名
- 欢乐谷战争欢乐谷战争(英语:Pleasant Valley War),或称为当图盆地之争(英语:Tonto Basin Feud)及当图盆地战争(英语:Tonto Basin War),是1882年至1892年间美国两个畜牧家族之间的一场武装私斗。19
- 肌醇肌醇(英语:Inositol)(旧称维生素B8)是一种环己烷的六醇,从哈沃斯投影式来看,这些羟基相对环平面的取向不同,故可区分为多种类型,如肌肌醇,表肌醇和鲨肌醇等。最常见的是肌肌醇。 常见
- 娑提 (习俗)娑提(印地语:सती;梵语:सत्),亦作萨蒂,原为印度教司婚姻幸福的女神达刹约尼的别名之一,因为传说的关系成为了忠贞的代名词。神话中的娑提为了控诉父亲达刹(英语:Daksha)侮辱其恋人
- 腓力五世 (法兰西)腓力五世(1292年11月17日-1322年1月3日),又称“高大者腓力”,法国卡佩王朝第14任国王(1316年至1322年在位)兼任纳瓦拉国王(称腓力二世)。腓力五世在里昂出生,是腓力四世与胡安娜一世的
- 玉子 (电影)《玉子》(英语:,韩语:옥자 )是一部于2017年韩国和美国合拍的动作冒险片,由奉俊昊执导并和强·朗森(英语:Jon Ronson)共同编剧。电影由韩国童星安瑞贤、英国演员蒂尔达·斯温顿、美国