Allen Emerson

informaticien américain

Allen (Ernest) Emerson, né le à Dallas au Texas, est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis.

Allen Emerson
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (66 ans)
DallasVoir et modifier les données sur Wikidata
Nationalité
Formation
Université Harvard
Université du Texas à Austin
Harvard School of Engineering and Applied Sciences (en)Voir et modifier les données sur Wikidata
Activités
Autres informations
A travaillé pour
Maître
Directeur de thèse
Site web
Distinctions

BiographieModifier

Allen Emerson a étudié les mathématiques à l'Université du Texas à Austin[1] puis a obtenu son Ph. D. en 1981, sous la direction de Edmund M. Clarke à l'université Harvard[2].

TravauxModifier

Emerson est connu pour son travail en vérification formelle, notamment en tant que co-inventeur du model checking et de la logique temporelle CTL (en) (Computation Tree Logic)[note 1].

DistinctionsModifier

Il a reçu le prix Turing en 2007, avec Edmund M. Clarke et Joseph Sifakis pour son travail sur le model checking[1].

Emerson avait précédemment reçu le prix Paris Kanellakis (1998)[3].

Notes et référencesModifier

NotesModifier

  1. (en) Une description plus poussée des travaux est disponible sur le site de l'ACM.

RéférencesModifier

AnnexesModifier

Liens externesModifier