Allen Emerson
Przejdź do nawigacji
Przejdź do wyszukiwania
.jpg?lang=pl)
| |
| Państwo działania | |
|---|---|
| Data i miejsce urodzenia | |
| Data śmierci |
15 października 2024 |
| doktor nauk matematycznych | |
| Specjalność: matematyka stosowana | |
| Alma Mater | |
| Doktorat |
1981 – matematyka stosowana |
| nauczyciel akademicki | |
| Uczelnia | |
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ż
[edytuj | edytuj kod]Przypisy
[edytuj | edytuj kod]- ↑ 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.).
Kontrola autorytatywna (osoba):
Identyfikatory zewnętrzne: