约瑟夫·斯发基斯(英语:Joseph Sifakis,希腊语:Ιωσήφ Σηφάκης,1946年12月26日-)是一名希腊计算机科学家和他也有法国国籍 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。
首页 >
约瑟夫·斯发基斯
✍ dations ◷ 2024-12-23 05:48:09 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友
相关
- 内能在热力学里,内能(internal energy)是热力学系统内两个具状态变数之基本状态函数的其中一个函数。内能是指系统所含有的能量,但不包含因外部力场而产生的系统整体之动能与势能。
- 胡敦欣胡敦欣(1936年10月20日-),中国物理海洋学家。出生于山东省即墨县(今青岛市即墨区)。1961年毕业于山东大学(毕业前改组为山东海洋学院,今中国海洋大学)。1966年中国科学院海洋研究所研
- 古王国古王国(前2686年—前2181年)是古埃及历史的一个时期,对应于从埃及第三王朝至第六王朝的四个王朝。这一时期也被称作“金字塔时期”,因为其中的第四王朝以曾修建为数众多的金字塔
- 张性张性(英语:Tonicity)是形容细胞内和细胞外的渗透压比例、溶质浓度比例及水势比例。当细胞置于高渗溶液(英语:hypertonic solution)中,细胞内的渗透压会小于细胞外的渗透压,细胞内的
- 丁戊奇荒丁戊奇荒,是中国华北地区发生于清朝光绪元年(1875年)至四年(1878年)之间的一场罕见的特大旱灾饥荒。1877年为丁丑年,1878年为戊寅年,因此史称“丁戊奇荒”。时任山西巡抚的曾国荃称
- 粉彩粉彩(英语:Pastel)是一种绘画颜料,通常制成笔型,所以又称粉彩笔或粉色画笔,有时为了与油粉彩区别,又称为干粉彩。粉彩起源于18世纪,主要用于绘制粉画,有很强的覆盖性,色彩明快,颜色种类
- font style=text-decoration: overlined/font下夸克(down quark)是一种基本粒子。在所有的夸克中,下夸克是质量第二小的夸克,只比上夸克的质量大。组成原子核的中子与质子都是由下夸克与上夸克共同形成。下夸克属于第一代粒
- 宪章《东盟宪章》,全称是《东南亚国家联盟宪章》,于2007年11月20日在新加坡签署,签订者为东盟十国的元首。该宪章的签订,将使东盟从宪章签署前的松散组织,转变成为一个更具正式及有约
- 朱丽安娜女王朱丽安娜女王(Juliana Louise Emma Marie Wilhelmina,1909年4月30日-2004年3月20日),全名朱丽安娜·路易丝·艾玛·玛丽·威廉敏娜,荷兰女王贝娅特丽克丝的母亲。1948年9月登基,任
- 华盛顿·欧文华盛顿·欧文(Washington Irving、1783年4月3日-1859年11月28日),生于美国纽约州曼哈顿。是美国著名作家、短篇小说家、亦是一名律师,亦曾当过政府官员,是对西班牙及英国的外交官