アレン・エマーソン : ウィキペディア（Wikipedia）
アーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - ）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。
エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。
1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。
1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。
ACMの会員である。
外部リンク
- テキサス大学オースティン校での本人のホームページ
- チューリング賞発表
- カネラキス賞
- E. Allen Emerson DBLP database
出典：フリー百科事典『ウィキペディア（Wikipedia）』 | 最終更新：2019/03/13 11:10 UTC （変更履歴）
Text is available under Creative Commons Attribution-ShareAlike and/or GNU Free Documentation License.