アレン・エマーソン

ウィキペディア

アレン・エマーソン

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/10/18 15:00 UTC 版)

エマーソン

アーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - 2024年10月15日^[1]）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。

エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した^[2]。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した^[3]。

1976年、テキサス大学オースティン校で数学の学士号を取得し^[4]、1981年、ハーバード大学で応用数学の博士号を取得した^[4]。

1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した^[5]。

ACMの会員である。

脚注・出典

1. ^ “ACM’s awards recognize excellence in computer science and information technology.” (英語). awards.acm.org. 2024年10月18日閲覧。
2. ^ “ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs”. University of Texas (2008年2月4日). 2009年10月18日閲覧。
3. ^ “ACM Fellows Award / E Allen Emerson”. 2009年10月18日閲覧。
4. ^ ^{a b} “Kanellakis Award”. Association for Computing Machinery (1999年3月26日). 2009年10月18日閲覧。
5. ^ Michael Huth and Mark Ryan (2004). Logic in Computer Science (Second Edition). Cambridge University Press. p. 207. ISBN 0-521-54310-X. 

外部リンク

• テキサス大学オースティン校での本人のホームページ
• アレン・エマーソン - Mathematics Genealogy Project
• チューリング賞発表
• カネラキス賞
• E. Allen Emerson DBLP database

表 話 編 歴 チューリング賞受賞者
アラン・パリス (1966) モーリス・ウィルクス (1967) リチャード・ハミング (1968) マービン・ミンスキー (1969) ジェームズ・H・ウィルキンソン (1970) ジョン・マッカーシー (1971) エドガー・ダイクストラ (1972) チャールズ・バックマン (1973) ドナルド・クヌース (1974) アレン・ニューウェル / ハーバート・サイモン (1975) マイケル・ラビン / デイナ・スコット (1976) ジョン・バッカス (1977) ロバート・フロイド (1978) ケネス・アイバーソン (1979) アントニー・ホーア (1980) エドガー・F・コッド (1981) スティーブン・クック (1982) ケン・トンプソン / デニス・リッチー (1983) ニクラウス・ヴィルト (1984) リチャード・カープ (1985) ジョン・ホップクロフト / ロバート・タージャン (1986) ジョン・コック (1987) アイバン・サザランド (1988) ウィリアム・カハン (1989) フェルナンド・J・コルバト (1990) ロビン・ミルナー (1991) バトラー・ランプソン (1992) ユリス・ハルトマニス / リチャード・スターンズ (1993) エドワード・ファイゲンバウム / ラジ・レディ (1994) マヌエル・ブラム (1995) アミール・プヌーリ (1996) ダグラス・エンゲルバート (1997) ジム・グレイ (1998) フレデリック・ブルックス (1999) アンドリュー・チーチー・ヤオ (2000) オーレ＝ヨハン・ダール / クリステン・ニゴール (2001) ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002) アラン・ケイ (2003) ヴィントン・サーフ / ロバート・カーン (2004) ピーター・ナウア (2005) フランシス・E・アレン (2006) エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007) バーバラ・リスコフ (2008) チャック・サッカー (2009) レスリー・ヴァリアント (2010) ジューディア・パール (2011) シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012) レスリー・ランポート (2013) マイケル・ストーンブレーカー (2014) マーティン・ヘルマン / ホイットフィールド・ディフィー (2015) ティム・バーナーズ＝リー (2016) ジョン・ヘネシー / デイビッド・パターソン (2017) ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018) エドウィン・キャットマル / パット・ハンラハン (2019) アルフレッド・エイホ / ジェフリー・ウルマン (2020) ジャック・ドンガラ (2021) ロバート・メトカーフ (2022) アヴィ・ヴィグダーソン (2023)
コンピュータ カテゴリ

典拠管理データベース
全般	ISNI VIAF WorldCat
国立図書館	ノルウェー ドイツ イスラエル アメリカ チェコ オランダ
学術データベース	計算機協会 CiNii Books DBLP MathSciNet Mathematics Genealogy Project Scopus zbMATH
その他	IdRef