E. Allen Emerson
In dit artikel zullen we het onderwerp E. Allen Emerson en alles wat het met zich meebrengt grondig onderzoeken. Van de oorsprong tot de impact ervan op de hedendaagse samenleving, we zullen alle facetten van dit fascinerende onderwerp analyseren. Door de geschiedenis heen heeft E. Allen Emerson een cruciale rol gespeeld bij het vormgeven van de identiteit en cultuur van verschillende samenlevingen, en het is essentieel om de invloed ervan in de moderne wereld te begrijpen. Via een multidisciplinaire aanpak zullen we E. Allen Emerson vanuit verschillende perspectieven onderzoeken, inclusief de politieke, sociale, economische en culturele implicaties ervan. Daarnaast zullen we bekijken hoe E. Allen Emerson in de loop van de tijd is geëvolueerd en welke invloed dit heeft gehad op de manier waarop we vandaag de dag leven en denken. Dit artikel is bedoeld om een uitgebreid overzicht te geven van E. Allen Emerson, met als doel licht te werpen op een onderwerp dat voor iedereen relevant is.
| 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]
Biografie
In 1976 heeft Emerson een Bachelor of Science behaald in wiskunde aan de Universiteit van Texas in Austin. Zijn Ph.D. behaalde hij in 1981 aan de Harvard-universiteit in toegepaste wiskunde.[3]
In 1985 ontving hij de Best Software Paper Award op de 18th Hawaii International Systems Sciences Conference.[3] In 1998 ontving hij samen met Randal E. Bryant, Edmund M. Clarke en Kenneth L. McMillan de Paris Kanellakis Award voor Symbolic model checking.[4][3] In 1999 ontving hij samen met hen ook de Allen Newell Award for Research Excellence van de Carnegie Mellon University.[5]
In 2007 won hij samen met Edmund M. Clarke en Joseph Sifakis de Turing Award voor hun werk over model checking:
For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.
— Association for Computing Machinery[6]
Externe link
- (en) E. Allen Emerson
- ↑ (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.
- ↑ a b c (en) ACM Bestows Kanellakis Award For Development of "Symbolic Model Checking," Used In Testing Computer System Designs, 26 maart 1999
- ↑ (en) ACM Award Citation - E. Allen Emerson
- ↑ (en) The Allen Newell Award for Research Excellence
- ↑ (en) ACM Award Citation - E. Allen Emerson[dode link]
· 
· 