Loading AI tools
Z Wikipedii, wolnej encyklopedii
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.
.jpg) | |
| 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 | |
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].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
