Ouvrir le menu principal

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