E. Allen Emerson
Amerikaans informaticus / Uit Wikipedia, de vrije encyclopedia
E. Allen Emerson (Dallas (Texas), 2 juni 1954), is 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.
Snelle feiten Persoonlijke gegevens, Geboortedatum ...
E. Allen Emerson | ||||
---|---|---|---|---|
Persoonlijke gegevens | ||||
Geboortedatum | 2 juni 1954 | |||
Geboorteplaats | Dallas (Texas) | |||
Wetenschappelijk werk | ||||
Vakgebied | Informatica | |||
Bekend van | Model checking | |||
Promotor | Edmund M. Clarke | |||
Alma mater | Harvard-universiteit Universiteit van Texas in Austin | |||
officiƫle website | ||||
|
Sluiten