Allen Emerson – Wikipedia, wolna encyklopedia

Allen Emerson
Państwo 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]

Nagroda Turinga

Przypisy[edytuj | edytuj kod]

↑ ^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.).

[:0-1] E. Allen Emerson [online], www.cs.utexas.edu [dostęp 2019-05-07] (ang.).

[2] E. Allen Emerson [online], awards.acm.org [dostęp 2019-05-07] (ang.).

[3] E. Allen Emerson – A.M. Turing Award Laureate [online], amturing.acm.org [dostęp 2019-05-07] (ang.).

[1]

[2]

[3]