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

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

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

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

ACMの会員である。
Q18581
1954年
TIME
Q2624
6月2日
TIME
Q30
アメリカ合衆国
LOC
Q21198
計算機科学
Concept
Q49213
テキサス大学オースティン校
ORG
Q92819
エドムンド・クラーク
PER
Q92781
ジョセフ・シファキス
PER
Q1569697
モデル検査
Concept
Q185667
チューリング賞
EVE
Q127992
ACM
ORG
パリス・カネラキス実践的理論賞
UNK
Q49213
テキサス大学オースティン校
ORG
Q13371
ハーバード大学
ORG
Q849697
博士号
Concept
Q92819
エドムンド・クラーク
PER
Q1040040
計算木論理
UNK
Q127992
ACM
ORG
Q92821
アレン・エマーソン
PER
1954-06-02T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1954年6月2日
DATE
13-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2007年
DATE
22-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1998年
DATE
44-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1976年
DATE
39-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1981年
DATE
40-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1980年
DATE
country of citizenship
doctoral advisor
award received
doctoral advisor
date of birth
country
country of citizenship
field of work
award received
member of
member of
award received
country
field of work
conferred by
conferred by
country
field of work
country
country
country of citizenship
field of work
award received
member of
member of
country
field of work