艾伦·爱默生

✍ dations ◷ 2025-11-02 11:39:29 #艾伦·爱默生

艾伦·爱默生(英语:Ernest Allen Emerson,1954年6月2日-)是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在model checking(英语:Model checking)取得的杰出贡献而获得图灵奖。

Template:Kanellakis Award laureates

相关

  • 止痛镇痛药(Analgesic)是指能缓解痛的一类药物。该词起源于希腊语中的"an"(意即“没有”)和"algos"(意即“痛”)。镇痛药通过不同的机理作用于中枢和周围神经系统,对痛觉中枢有选择性抑
  • span class=chemf style=white-space:nowrap;Csub16/sub十六烷(英语:hexadecane、cetane)是化学式为C16H34的烷烃。十六烷由16个碳原子直链组成,头和尾被3个氢原子连着,中间2个。十六烷值用以量度柴油的易燃性。在压缩下,十六烷非常易燃
  • 双名制命名法二名法(英语:Binomial Nomenclature,Binominal Nomenclature 或 Binary Nomenclature),又称双名法,依照生物学上对生物种类的命名规则,所给定的学名之形式,自林奈《植物种志》(1753
  • 大龙国小台北市立大龙国民小学(简称大龙国小),前身为1896年创立的为台湾国语学校第三附属学校,是台北市历史最久的国民小学之一。
  • OKB-1谢·帕·科罗廖夫能源火箭航天集团(俄语:Ракетно-космическая корпорация «Энергия» им. С. П. Королёва,转写:Raketno-kos
  • 2018年土耳其以下为2018年在土耳其发生的事件。
  • 李传业李传业(1867年-1928年),字培基。安徽颍州府亳州人,光绪十九年(1893年)癸巳恩科武举人,光绪二十四年(1898年)中武进士,授三等侍卫。
  • 方逢年资善大夫、柱国、少傅、东阁大学士兼礼部尚书方逢年(1585年-1646年),字书田,浙江严州府遂安县人。明末政治人物,进士出身,官至资善大夫、柱国、少傅、东阁大学士兼礼部尚书。明神宗
  • 邓润甫邓润甫(1027年-1094年),字温伯,避讳高鲁王(宣仁皇后之父高遵甫),以字行,别字圣求。北宋建昌军(今江西省黎川县)。宋哲宗时尚书左丞。宋仁宗皇祐元年(1049年)中进士,担任上饶尉、武昌令。举贤良方正,召试不应。熙宁年间,为编修中书条例,检正中书户房事,担任集贤校理、直舍人院。改任知谏院、知制诰。邓润甫与邓绾、张琥主审郑侠之狱,深致其文,入罪冯京、王安国、丁讽、王尧臣。后来邓润甫被擢升为御史中丞。转任翰林学士,因有文名,当时的制书,很多靠他的力量。历任知抚州、杭州、成都府。宋哲宗即位,擢进翰林学士
  • 刘保佑刘保佑(1951年6月12日-),台湾企业家,高雄县冈山镇(今高雄市冈山区)人,毕业于国立中兴大学法商学院(今国立台北大学)公共行政系。2005年获第五届国立台北大学杰出校友。达达企业集团创办人。刘保佑以玩具业起家、之后在墨西哥成功自创家电品牌Mytek。刘保佑最广为人知的是他对中华职棒球队La New熊对一军强化训练课程,并且成立二军所做出的贡献;2011年由于主球场改到桃园,故改名为Lamigo Monkeys桃猿队(简称 Lamigo桃猿)。刘保佑以经营制作玩具为主的达达集团开始发展、并在1990年