Allen Emerson

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Allen Emerson
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (62 ans)
DallasVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Nombre d'Erdős
4Voir et modifier les données sur Wikidata
Site web
Distinctions

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

Biographie[modifier | modifier le code]

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].

Travaux[modifier | modifier le code]

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].

Distinctions[modifier | modifier le code]

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érences[modifier | modifier le code]

Notes[modifier | modifier le code]

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

Références[modifier | modifier le code]

Annexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]