Allen Emerson
Państwo działania | Stany Zjednoczone |
---|---|
Data i miejsce urodzenia | 2 czerwca 1954 |
doktor nauk matematycznych | |
Specjalność: matematyka stosowana | |
Alma Mater | |
Doktorat | 1981 – matematyka stosowana |
nauczyciel akademicki | |
Uczelnia |
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ż
- Nagroda Turinga
Przypisy
- p
- d
- e
Laureaci Nagrody Turinga
Kontrola autorytatywna (osoba):
- Britannica: biography/Ernest-Allen-Emerson
Identyfikatory zewnętrzne:
- Scopus: 7006360379