Allen Emerson

Allen Emerson
ilustracja
Państwo działania

 Stany Zjednoczone

Data i miejsce urodzenia

2 czerwca 1954
Dallas

Data śmierci

15 października 2024

doktor nauk matematycznych
Specjalność: matematyka stosowana
Alma Mater

Uniwersytet Teksański w Austin

Doktorat

1981 – matematyka stosowana
Uniwersytet Harvarda

nauczyciel akademicki
Uczelnia

Uniwersytet Teksański w Austin

Ernest Allen Emerson (ur. 2 czerwca 1954 w Dallas, zm. 15 października 2024) – informatyk, profesor Uniwersytetu Teksańskiego w Austin, laureat Nagrody Turinga.

W 1976 r. otrzymał tytuł licencjacki w matematyce na Uniwersytecie Teksańskim, a stopień doktora matematyki stosowanej uzyskał na Uniwersytecie Harvarda w 1981 roku.

Za swoją działalność został uhonorowany Nagrodą Parisa Kanellakisa w 1998, a w 2007 (wraz z Edmundem Clarke i Josephem Sifakisem) Nagrodę Turinga za wynalezienie i rozwój metod weryfikacji modelowej.

Zobacz też

Przypisy

  1. ↑ We bid farewell to E. Allen Emerson.
  2. 1 2 E. Allen Emerson [online], www.cs.utexas.edu [dostęp 2019-05-07] (ang.).
  3. ↑ E. Allen Emerson [online], awards.acm.org [dostęp 2019-05-07] (ang.).
  4. ↑ E. Allen Emerson – A.M. Turing Award Laureate [online], amturing.acm.org [dostęp 2019-05-07] (ang.).