艾伦·爱默生

图:Copyright E. Allen Emerson (the subject) · CC BY-SA 4.0 · Wikimedia Commons

科学家 › 数学、计算机科学

艾伦·爱默生1954—2024

E. Allen Emerson

学者

图灵奖 2007

恩尼斯特·艾伦·爱默生二世 是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在模型检验取得的杰出贡献而获得图灵奖。

摘自维基百科「艾伦·爱默生」,CC BY-SA 4.0

出生
1954 年,达拉斯
逝世
2024 年
国籍
美国
学科
数学、计算机科学、工程与发明、博物与综合
职业
计算机科学家、工程师、大学教师、数学家
研究领域
计算机科学、信息学
母校
得克萨斯大学奥斯汀分校、哈佛大学工程与应用科学学院
工作单位
得克萨斯大学奥斯汀分校
导师
爱德蒙·克拉克
学生
Munindar P. Singh、Vineet Kahlon、Nina Amla、Richard Jay Trefler、Kedar Sharadchandra Namjoshi、Giacomo Lenzi、Paul Camille Attie、Subramanian Iyer、Thomas Wahl、Jyotirmoy Deshmukh、Chin-Laung Lei、Roopsha Samanta
其他荣誉
帕里斯·卡内拉基斯奖

同一学科的科学家

更多 ›