比浏览器更快的访问！
10 关系: 德克萨斯州，德克薩斯州大學奧斯汀分校，图灵奖，约瑟夫·斯发基斯，美国，爱德蒙·克拉克，達拉斯，计算机科学，電腦科學家，教授。
德克萨斯州
得克萨斯州（State of Texas），簡稱德州，是全美國土地面積和人口的第二大州（面積僅次於阿拉斯加；人口次於加州）。州名源自美洲原居民的語言，意思是“朋友”或是“盟友”。十七世紀時，西班牙的探險家在與Caddoan語族的Hasinai族人打交道時，將印第安人稱呼自己為朋友（thecas）的词語誤解為德州的地名，雖然後來明白到原本的意思而嘗試更改，但德薩斯此一地名一直沿用下來。雖然地名的意思曾被誤解，但卻與今日得州的座右銘「友誼」不謀而合。.
新！!: 艾伦·爱默生和德克萨斯州 · 查看更多 »
德克薩斯州大學奧斯汀分校
奧斯汀德克薩斯大學（University of Texas at Austin，經常通稱為德州大學，UT，或Texas，又常被译作德克薩斯大學奧斯汀（柯士甸）分校）成立于1883年，是德州大学系统中最主要的旗艦級大學，也是美国最好的公立大學，其會計科目連續十年排名全美第一，在US News電腦科學排名中名列世界第二。大學亦因歷史、學術影響力、財富等因素而獲評為世上最享負盛名的學府之一。奥斯汀德克萨斯州大学位于美国第二大州——德克萨斯州的首府奥斯汀，离德州州政府总部不足一里。它是全美单一校园中学生人数最多的大學之一。 除奥斯汀主校区外，Pickle研究校区（J.
新！!: 艾伦·爱默生和德克薩斯州大學奧斯汀分校 · 查看更多 »
图灵奖
图灵奖（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字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。.
新！!: 艾伦·爱默生和图灵奖 · 查看更多 »
约瑟夫·斯发基斯
约瑟夫·斯发基斯（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取得的杰出贡献而获得图灵奖。.
新！!: 艾伦·爱默生和约瑟夫·斯发基斯 · 查看更多 »
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
爱德蒙·克拉克
爱德蒙·克拉克（Edmund M. Clarke，），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Model checking取得的杰出贡献而获得图灵奖。.
新！!: 艾伦·爱默生和爱德蒙·克拉克 · 查看更多 »
達拉斯
达拉斯（Dallas），是美国德克萨斯州第三大城市，美国第九大城市，达拉斯县首府，城市面积共。美国人口普查显示，至2006年7月1日，达拉斯的人口为1,248,810人。达拉斯与沃斯堡、阿灵顿组成达拉斯-沃斯堡-阿灵顿城市群，覆盖12个县，总人口615万人（2007年数据），是美国第四大城市群。1999年，达拉斯被拉夫堡大学的全球化与世界级城市研究小组与网络列为第三类世界级城市，即小型世界级城市。.
新！!: 艾伦·爱默生和達拉斯 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 艾伦·爱默生和计算机科学 · 查看更多 »
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
新！!: 艾伦·爱默生和電腦科學家 · 查看更多 »
教授
教授，是一種高等教育體系中的職稱。在中國漢、唐的大學中即設有此官職；在現代漢語、日語、及韓語的語境中，多作為英語「Professor」一詞的同義語使用，指在現代高等教育機構（例如大學或社區學院）中執教的教師。.
