Back ألين إيمرسون Arabic الين ايمرسون ARZ ارنست آلن امرسون AZB আর্নেস্ট অ্যালেন এমারসন Bengali/Bangla E. Allen Emerson Catalan E. Allen Emerson Czech Allen Emerson German E. Allen Emerson English E. Allen Emerson Esperanto E. Allen Emerson Spanish
| Ernest Allen Emerson II | ||||
|---|---|---|---|---|
.jpg)
| ||||
Emerson in 2022
| ||||
| Persoonlijke gegevens | ||||
| Geboortedatum | 2 juni 1954 | |||
| Geboorteplaats | Dallas | |||
| Overlijdensdatum | 15 oktober 2024 | |||
| Overlijdensplaats | Austin | |||
| Academische achtergrond | ||||
| Alma mater | Universiteit van Texas in Austin Harvard School of Engineering and Applied Sciences 
| |||
| Promotor | Edmund M. Clarke | |||
| Wetenschappelijk werk | ||||
| Vakgebied | Informatica | |||
| Bekend van | Model checking | |||
| Website | ||||
| ||||
E. Allen Emerson (Dallas (Texas), 2 juni 1954 – Austin (Texas), 15 oktober 2024), was een Amerikaans informaticus. Emerson heeft bijdragen geleverd op het gebied van tijdslogica, model checking en formele verificatie. Samen met Edmund M. Clarke en Joseph Sifakis won hij in 2007 de Turing Award.
Emerson overleed op 15 oktober 2024 op 70-jarige leeftijd.[1][2]
- ↑ (en) We bid farewell to E. Allen Emerson. Heidelberg Laureate Foundation (18 oktober 2024).
- ↑ (en) Obituary Ernest "Allen" Emerson II. Weed Corley Fish Funeral Homes and Cremation Services. Geraadpleegd op 19 oktober 2024.