约瑟夫·斯发基斯

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

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

相关

  • 机械功功(英语:work),也叫机械功,是物理学中表示力对位移的累积的物理量,指从一种物理系统到另一种物理系统的能量转变,尤其是指通过使物体朝向力的方向移动的力的作用下能量的转移。与机
  • 提婆龙树、圣天、无著、世亲、陈那、法称、释迦光、功德光 【其他】─《入中论》《释量论》《俱舍论》《现观庄严论》《戒律本论》【其他】─ 《提婆(梵语:आर्यदेव,Arya-d
  • 希腊拉丁方阵希腊拉丁方阵(英语:Graeco-Latin square)为两个拉丁方阵相正交所得到的方阵。它跟数独一样,每一行、每一列都不会重复,并且每一个拉丁字母与每一希腊字母只配对一次,就称这两方阵
  • 财团法人2009世界运动会组织委员会基金会财团法人2009世界运动会组织委员会基金会(英文:Kaohsiung Organizing Committee,缩写:KOC)又称高雄世运组织委员会,简称高雄世运组委会,为一以非营利、公益、具有私法人特性的财团
  • 魏斯密斯山魏斯密斯山(德语:Weissmies,4,017米(13,179英尺))是瑞士本宁阿尔卑斯山脉在瓦莱州萨斯费附近的一座山。它是four-thousander(英语:four-thousander)地区最东部的山。魏斯密斯山主阿
  • 宣慰司宣慰使司,简称宣慰司。元朝、明朝、清朝官署名,常设的地方行政机构,在边疆少数民族地区执掌军民事务。元代道分两种:一种是掌军民之政的宣慰使司,一种是遍设全国各地职掌司法。宣
  • 西田纳西西田纳西是田纳西州的三大分区(英语:Grand_Divisions_(Tennessee))之一。在这三者中,它从地理上定义起来是最清晰的。它的边界是西部的密西西比河和东部的田纳西河。为了包含被
  • 两栖突击舰两栖攻击舰(英语:Amphibious assault ship),亦称两栖突击舰、强袭登陆舰(源自其日语名称“強襲揚陸艦”),是一种用来在敌方沿海地区进行两栖作战时,在战线后方提供空中与水面支援的
  • 丁令威丁令威,道教崇奉的古代仙人。西汉时期辽东人鹤野人,原是一位州官,为政廉洁,爱民如子,两袖清风。为官之余,他的最大乐趣就是养鹤。传说曾学道于灵墟山,后驾鹤升仙。丁令威成仙传说载
  • 古典日语古典日语(日语:文語、ぶんご)是日本昭和时期之前日语的标准文学形式。古典日语以中古日语即平安时代的口语为基础,同时也受到了后来的影响。古典日语的使用在明治时期后开始衰落