约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日-)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。
首页 >
约瑟夫·斯发基斯
✍ dations ◷ 2025-02-23 16:26:39 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友
相关
- 活性氧类活性氧类(英语:Reactive oxygen species,ROS),是生物有氧代谢过程中的一种副产品,包括氧离子、过氧化物和含氧自由基等。这些粒子相当微小,由于存在未配对的自由电子,而十分活跃。过
- 化石燃料化石燃料(Fossil Fuel),亦称矿石燃料,是一种碳氢化合物或其衍生物,包括煤炭、石油和天然气等天然资源。其中原油通过石油化学工业精炼生产得到的产品也称为石化燃料。化石燃料之
- 威尔金森县威尔金森县(Wilkinson County, Georgia)是美国乔治亚州中部的一个县。面积1,171平方公里。根据美国2000年人口普查,共有人口10,220人。县治欧文敦(Irwinton)。成立于1803年5月11
- 菊苣菊苣(学名:Cichorium intybus),又称苦苣、苦菜,是一种灌木丛生的多年生草本植物,长出蓝色或薰衣草色的小花。原生于欧洲,但现时已自然生长于北美等地而成为路边物种。经烘焙及磨碎
- 嫦娥三号嫦娥三号是中国探月工程第二阶段的机器人登月探测器,包括着陆器和月球车。于2013年12月2日1时30分由长征三号乙运载火箭从西昌卫星发射中心成功发射,12月6日抵达月球轨道,开展
- ɶ开前圆唇元音是元音的一种,用于一些语言当中,国际音标以⟨ɶ⟩代表此音,而X-SAMPA音标则以⟨&⟩代表此音。⟨ɶ⟩是⟨Œ⟩的一个小体大写字母。表内成对的元音分别为不圆唇/圆唇
- 颂龙旗清朝订定国歌起源于19世纪末、20世纪初。19世纪后期至20世纪初,清朝曾先后使用《普天乐》、《李中堂乐》、《颂龙旗》作为其半官方国歌或代国歌。1911年,清政府将《巩金瓯》定
- AgSbFsub6/sub六氟锑酸银是一种配合物,化学式为AgSbF6。可溶于水,具有潮解性。它在有机化学中可以用作催化剂。将焦锑酸钠和硝酸银溶于40%的氢氟酸溶液中,于30~50℃反应数小时后,在真空中浓缩,2
- 金山金山(1911年-1982年7月7日),原名赵默,字缄可,祖籍湖南沅陵,生于江苏苏州,中国话剧与电影演员、导演,被称为“话剧皇帝”。他还曾任中国文联委员、中国戏剧家协会副主席、第五届全国政
- 玉春糖玉春糖(옥춘당)或玉春(옥춘),北朝鲜称为彩色弹珠糖果(색구슬사탕),是朝鲜传统糖果。(最左边的一堆) 还历宴会餐桌上的玉春糖