Allen Emerson

Allen Emerson
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^[1]) – 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^[2].

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

Zobacz też

Nagroda Turinga

Przypisy

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

[1] We bid farewell to E. Allen Emerson

[:0-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.).

[1]

[2]

[3]

[4]