Allen Emerson

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Allen Emerson
Kraj działania  Stany Zjednoczone
Data i miejsce urodzenia 2 czerwca 1954
Dallas
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) – informatyk, profesor Uniwersytetu Teksańskiego w Austin, laureat Nagrody Turinga.

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

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

Zobacz też[edytuj | edytuj kod]

Przypisy[edytuj | edytuj kod]

  1. a b E. Allen Emerson, www.cs.utexas.edu [dostęp 2019-05-07] (ang.).
  2. E. Allen Emerson, awards.acm.org [dostęp 2019-05-07] (ang.).
  3. E. Allen Emerson – A.M. Turing Award Laureate, amturing.acm.org [dostęp 2019-05-07] (ang.).