Loading AI tools
ウィキペディアから
アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。
エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した[1]。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した[2]。
1976年、テキサス大学オースティン校で数学の学士号を取得し[3]、1981年、ハーバード大学で応用数学の博士号を取得した[3]。
1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した[4]。
ACMの会員である。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.