温馨提示：本站仅提供公开网络链接索引服务，不存储、不篡改任何第三方内容，所有内容版权归原作者所有
AI智能索引来源：http://www.eb.com/biography/E-Allen-Emerson
点击访问原文链接

E. Allen Emerson | Biography, A.M. Turing Award, & Facts | Britannica

进入原网站 导航首页
SUBSCRIBESUBSCRIBESUBSCRIBEHomeHistory & SocietyScience & TechBiographiesAnimals & NatureGeography & TravelArts & CultureProConMoneyGames & QuizzesVideosOn This DayOne Good FactDictionaryNew ArticlesHistory & SocietyLifestyles & Social IssuesPhilosophy & ReligionPolitics, Law & GovernmentWorld HistoryScience & TechHealth & MedicineScienceTechnologyBiographiesBrowse BiographiesAnimals & NatureBirds, Reptiles & Other VertebratesEnvironmentFossils & Geologic TimeInsects & Other InvertebratesMammalsPlantsGeography & TravelGeography & TravelArts & CultureEntertainment & Pop CultureLiteratureSports & RecreationVisual ArtsImage GalleriesPodcastsSummariesTop QuestionsLists and StoriesBritannica KidsAsk the ChatbotGames & QuizzesHistory & SocietyScience & TechBiographiesAnimals & NatureGeography & TravelArts & CultureProConMoneyVideosE. Allen EmersonIntroductionReferences & Edit HistoryQuick Facts & Related TopicsComputers and Technology QuizScienceMathematicsFacebookXhttps://www.britannica.com/biography/E-Allen-EmersonACM - Association for Computing Machinery - Awards - E. Allen EmersonWilliam L. Hosch William L. Hosch was an editor at Encyclopædia Britannica.Britannica Editors Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree....HistoryDallasTexasA.M. Turing Awardcomputer scienceModel-Checkingbachelor’s degreemathematicsUniversity of TexasHarvard UniversityendowedUniversity of TexasEdmund M. ClarkeJoseph SifakisDallasTexasTuring Award (2007)model checking softwareSee all related contentBritannica Quiz Computers and Technology Quiztemporal logicWilliam L. Hosch

智能索引记录