Allen Emerson

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

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 obtenu son Ph. D. en 1981, sous la direction de Edmund M. Clarke à l'université Harvard[1].

Travaux[modifier | modifier le code]

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

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

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

  1. (en) Allen Emerson sur le site du Mathematics Genealogy Project
  2. http://amturing.acm.org/award_winners/emerson_1671460.cfm
  3. http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK&yr=1998

Liens externes[modifier | modifier le code]