Allen Emerson

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Allen (Ernest) Emerson, né le 2 juin 1954 à 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 (Computational Tree Logic)[3].

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)[4].

Notes et références[modifier | modifier le code]

  1. a et b Page officielle du Prix Turing 2007
  2. (en) Allen Emerson sur le site du Mathematics Genealogy Project
  3. Une descritption plus poussée des travaux est disponible sur le site de l'ACM.
  4. http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK&yr=1998

Liens externes[modifier | modifier le code]