(Translated by https://www.hiragana.jp/)
艾伦·爱默生 - 维基百科，自由的百科全书 跳とべ转到内容ないよう

艾もぐさ伦·爱默生せい

维基百科ひゃっか，自由じゆう的てき百科ひゃっか全ぜん书
艾もぐさ伦·爱默生せい
Ernest Emerson
出生しゅっしょうErnest Allen Emerson
(1954-06-02) 1954年ねん6月がつ2日にち（70歲さい）
美国びくに德とく克かつ萨斯州しゅう达拉斯
国籍こくせき美国びくに
奖项图灵奖（2007）
科学かがく生涯しょうがい
研究けんきゅう领域计算机つくえ科学かがく
机つくえ构美国びくに德とく克かつ薩斯州しゅう大學だいがく奧おく斯汀分校ぶんこう

艾もぐさ伦·爱默生せい（英語えいご：Ernest Allen Emerson，1954年ねん6月がつ2日にち—）是ぜ一いち名めい美国びくに德とく克かつ薩斯州しゅう大學だいがく奧おく斯汀分校ぶんこう计算机つくえ科学かがく家か和かず荣誉教授きょうじゅ。2007年ねん，他た与あずか爱德蒙こうむ·克かつ拉ひしげ克かつ和わ约瑟夫おっと·斯发基もと斯一いち起因きいん在ざいmodel checking（英えい语：Model checking）取得しゅとく的てき杰出贡献而获得とく图灵奖。[1]

参照さんしょう

[编辑]
  1. ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始げんし内容ないよう存そん档于2008-05-09）. 

外部がいぶ链接

[编辑]
检索自じ“https://zh.wikipedia.org/w/index.php?title=艾もぐさ伦·爱默生せい&oldid=82311856”