约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日-)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。
首页 >
约瑟夫·斯发基斯
✍ dations ◷ 2025-09-07 03:20:16 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友
相关
- 癫痫症癫痫症(英语:Epilepsy),是一种神经性疾患(英语:Neurological disorders),特征为反复地癫痫发作,即为重复发作或长或短的严重抽搐症状,可能会造成物理性伤害,甚至骨折。癫痫症的定义是,患
- 斯洛伐克语斯洛伐克语(slovenský jazyk / slovenčina),中文也称斯洛伐克文,属于印欧语系斯拉夫语族西斯拉夫语支,同波兰语和捷克语以及索布语相近,特别是跟捷克语的使用者可以无障碍的交流
- 霍尔斯特古斯塔夫·西奥多·霍尔斯特(英语:Gustav Theodore Holst,1874年9月21日-1934年5月25日),英国作曲家。原名为Gustav(Theodore)von Holst,在第一次世界大战后去掉了名字中的von。出生
- 天鹅座天鹅座(Cygnus)是北天星座之一。天鹅座的中心部分别名北十字星,相对于南十字星。天鹅座α星是全天21个1等星之一,天鹅座α星、天琴座的天琴座α星、天鹰座的天鹰座α星3个1等星
- 二郎神二郎神,又称:川主、显圣二郎真君、昭惠灵显王、灌口二郎、二郎真君、灌江神、赤城王、清源妙道真君。是中国民间和道教的神祇人物。民间多认为他是一位与水利、农耕、防止水灾
- 联合技术联合技术公司(英文:United Technologies Corporation)是美国第22大制造商,主要经营项目包括飞机发动机、直升机、空调系统、燃料电池、电梯、滚梯、防火与安全设备、建筑设备和
- 苏克雷1538年苏克雷(西班牙语:Sucre;克丘亚语:Chuqichaka)是玻利维亚的宪法首都和司法首都,位于该国中部玻利维亚高原的谷地中,1538年建城,1809年成为南美洲发动反西班牙统治的第一个城市,1
- 坦普尔坦普尔(Temple)是位于美国德克萨斯州贝尔县的一个城市,靠近县治贝尔顿 。它最早是一个铁路镇,成立于1881年,2010年美国人口普查时有66,102人。‡该聚居地有部分位在邻近一个或以
- 电子细胞基质阻抗判断电子细胞基质阻抗判断(Electric Cell-substrate Impedance Sensing,ECIS)是一种利用电流变化来侦测受培养之细胞的状态,可以用来作为癌细胞生长、转移、伤口愈合等现象的研究,或
- 芬兰罗姆人芬兰罗姆人(芬兰语:Suomen romanit;瑞典语:Kalé-romer)是一个在芬兰居住了五百年以上的语言和文化上的少数民族。据估计芬兰罗姆人约为一万人,另外大约有三千芬兰罗姆人居住在瑞