Allen Emerson

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

Allen Emerson
Biographie
Naissance
Nationalité
Formation
Université Harvard
Université du Texas à Austin
Harvard School of Engineering and Applied Sciences (en)
Activités
Autres informations
A travaillé pour
Maître
Dir. de thèse
Site web
Distinctions

Biographie

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

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

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

Notes

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

Références

Annexes

Liens externes

  • Portail de l’informatique
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.