Loading AI tools
學者 来自维基百科,自由的百科全书
艾伦·爱默生(英语:Ernest Allen Emerson,1954年6月2日—2024年10月15日)是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在model checking取得的杰出贡献而获得图灵奖。[1]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.