艾伦·爱默生
艾伦·爱默生（英語：，1954年6月2日－）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在model checking取得的杰出贡献而获得图灵奖。[1]
| 艾伦·爱默生 | |
|---|---|
| 出生 | 1954年6月2日 美国德克萨斯州达拉斯 |
| 国籍 | 美国 |
| 奖项 | 图灵奖 |
| 科学生涯 | |
| 研究领域 | 计算机科学 |
| 机构 | 美国德克薩斯州大學奧斯汀分校 |
参照
- . University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）.
外部链接
- E. Allen Emerson - A.M. Turing Award 页面存档备份，存于
- E. Allen Emerson's homepage at the University of Texas at Austin
- 艾伦·爱默生在數學譜系計畫的資料。
- Turing Award announcement
- Kanellakis Award
- 艾伦·爱默生 at DBLP Bibliography Server
Template:Kanellakis Award laureates
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.