徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
安装
比浏览器更快的访问!
 

约瑟夫·斯发基斯

指数 约瑟夫·斯发基斯

约瑟夫·斯发基斯(Joseph Sifakis,Ιωσήφ Σηφάκης,)是一名希腊计算机科学家和他也有法国国籍, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6 。2007年,他与爱德蒙·克拉克和艾伦·爱默生一起因在:en:Model checking取得的杰出贡献而获得图灵奖。.

9 关系: 希腊伊拉克利翁国立雅典理工大学图灵奖爱德蒙·克拉克艾伦·爱默生電腦科學家法國國家科學研究中心法国

希腊

希腊(Ελλάδα,),官方名称为希腊共和国(希腊语:Ελληνική Δημοκρατία,),位于欧洲东南部的跨大洲国家。2015年其人口约为1,090万。雅典为希腊首都及最大城市,塞萨洛尼基为第二大城市。 希腊位于欧洲、亚洲和非洲的十字路口,战略地位重要。其位于巴尔干半岛南端,西北邻阿尔巴尼亚,北部邻马其顿共和国和保加利亚,东北邻土耳其。希腊分为九个地区:马其顿、中希腊、伯罗奔尼撒、色萨利、伊庇鲁斯、爱琴海诸岛(包括十二群岛及基克拉泽斯)、色雷斯、克里特和伊奥尼亚群岛。爱琴海位于希腊本土东侧,爱奥尼亚海位于西侧,克里特海和地中海位于南侧。希腊海岸线长达,为地中海盆地国家中最长,世界第11长。希腊拥有大量岛屿,其中227个岛屿有人居住。其百分之八十区域为山地,奥林波斯山为全境最高峰,海拔。 希腊为世界历史最悠久的国家之一,自公元前270,000年起即有人居住。其被称作西方文明的摇篮,为民主制度、西方哲学、奥林匹克运动会、西方文学、史学、政治学、重要科学及数学原理、西方戏剧(悲剧及喜剧)的发源地。公元前4世纪马其顿腓力二世首先统一了希腊。其子亚历山大大帝迅速征服了古代世界的大片地区,将希腊文化和科学自东地中海地区传播至印度河流域。公元前2世纪希腊为罗马所吞并,成为罗马帝国及其继承国拜占庭帝国的核心组成部分,其中后者为希腊语言及文化所主导。公元1世纪希腊正教会建立起来,塑造了现代希腊的文化认同,并将希腊传统传播至正教世界。15世纪中叶,奥斯曼帝国夺取了希腊地区。1830年,在经历独立战争后,希腊作为现代民族国家建立起来。希腊的文化遗产由其18个联合国教科文组织世界遗产数可见一斑,这一数目在欧洲及世界均居前列。 希腊为民主制国家,发达国家及高收入经济体,其生活质量较高,及人类发展指数为极高。希腊为联合国创始国之一,为欧洲共同体(欧洲联盟前身)第十个成员国,并自2001年以来为欧元区成员国。其亦为诸多国际组织的成员国,包括欧洲委员会、北大西洋公约组织、经济合作与发展组织、世界贸易组织、欧洲安全与合作组织及法语圈国际组织。希腊的独特文化地位、旅游业、船运业及战略地位使其被归为一中等强国。其为巴尔干地区最大规模经济体,并为这一区域重要的投资者之一。.

新!!: 约瑟夫·斯发基斯和希腊 · 查看更多 »

伊拉克利翁

伊拉克利翁(希腊语:Ηράκλειο;英語:Heraklion)是希腊位於克里特島上的最大的城市,同时也是克里特大区和伊拉克利翁州的首府,人口142,112(2001年)。.

新!!: 约瑟夫·斯发基斯和伊拉克利翁 · 查看更多 »

国立雅典理工大学

国立雅典理工大学(Εθνικό Μετσόβιο Πολυτεχνείο,簡稱ΕΜΠ),通常称作雅典理工,希腊雅典的一所国立大学。成立于1837年。.

新!!: 约瑟夫·斯发基斯和国立雅典理工大学 · 查看更多 »

图灵奖

图灵奖(ACM A.M. Turing Award),又譯杜林獎、A.M.图灵奖,是计算机协会(ACM)于1966年设立的獎項,专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵(A.M. Turing),这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。.

新!!: 约瑟夫·斯发基斯和图灵奖 · 查看更多 »

爱德蒙·克拉克

爱德蒙·克拉克(Edmund M. Clarke,),美国计算机科学家。2007年,他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Model checking取得的杰出贡献而获得图灵奖。.

新!!: 约瑟夫·斯发基斯和爱德蒙·克拉克 · 查看更多 »

艾伦·爱默生

艾伦·爱默生(Ernest Allen Emerson,)是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。.

新!!: 约瑟夫·斯发基斯和艾伦·爱默生 · 查看更多 »

電腦科學家

電腦科學家(Computer scientist)是指一類具有資深電腦科學知識,並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究,有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對,電腦科學家通常對電腦系統的理論,而非實作,更加感興趣,儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究,但是這些分支都建立在對計算系統的理論研究上。.

新!!: 约瑟夫·斯发基斯和電腦科學家 · 查看更多 »

法國國家科學研究中心

法國國家科學研究中心(法文:CNRS, Centre national de la recherche scientifique)成立於1939年10月19日,法國最大的國家級科學研究機構。 Category:法国研究机构.

新!!: 约瑟夫·斯发基斯和法國國家科學研究中心 · 查看更多 »

法国

法兰西共和国(République française ),簡稱法国(France ),是本土位於西歐並具有海外大區及領地的主權國家,自法蘭西第五共和國建立以來实行单一制與半总统制,首都為歐盟最大跟歐洲最大的文化與金融中心巴黎。該國本土由地中海一直延伸至英倫海峽及北海,並由萊茵河一直延伸至大西洋,整體呈六角狀。海外领土包括南美洲的法属圭亚那及分布于大西洋、太平洋和印度洋的诸岛屿。全国共分为18个大区,其中5个位于海外。法国與西班牙及摩洛哥為同時擁有地中海及大西洋海岸線的三個國家。法國的国土面积全球第四十一位,但卻為歐盟及西歐國土面積最遼闊的國家,歐洲面積第三大國家。 今日之法国本土于铁器时代由高卢人(凯尔特人的一支)征服,前51年又由罗马帝国吞并。486年法兰克人(日耳曼人的一支)又征服此地,其于该地域建立的早期国家最终发展成为法兰西王国。法国至中世纪末期起成为欧洲大国,國力於19-20世紀時達致巔峰,建立了世界第二大殖民帝國,亦為20世紀人口最稠密的國家,現今則是众多前殖民地的首選移民国。在漫長的歷史中,法國培養了不少對人類發展影響深遠的著名哲學家、文學家與科學家,亦為文化大国,具有第四多的世界遺產。 法國在全球範圍內政治、外交、軍事與經濟上為舉足輕重的大國之一。法國自1958年建立第五共和国後經濟有了很大的發展,政局保持穩定,國家體制實行半總統制,國家經由普選產生的總統、由其委任的總理與相關內閣共同執政。1958年10月4日,由公投通過的國家憲法則保障了國民的民主權及宗教自由。法國的建國理念主要建基於在18世紀法國大革命中所制定的《人權和公民權宣言》,此乃人類史上較早的人權文檔,並對推動歐洲以至於全球的民主與自由產生莫大的影響;其藍白紅三色的國旗則有「革命」的含義。法國不僅為聯合國常任理事國,亦是歐盟始創國。該國國防預算金額為全球第5至6位,並擁有世界第三大核武貯備量。法國為发达国家,其GDP為全球第六大經濟體系,具備世界第十大購買力,並擁有全球第二大專屬經濟區;若以家庭總財富作計算,該國是歐洲最富有的國家,位列全球第四。法國國民享有高生活質素,在教育、預期壽命、民主自由、人類發展等各方面均有出色的表現,特別是醫療研發與應用水平長期盤據世界首位。其國內許多軍備外銷至世界各地。目前,法国是。.

新!!: 约瑟夫·斯发基斯和法国 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »