Sommaire

Allen Emerson

Pour les articles homonymes, voir Emerson.

modifier - modifier le code - modifier Wikidata

Allen (Ernest) Emerson, né le 2 juin 1954 à DallasauTexas, est un chercheureninformatique, 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 Turingen2007, avec Edmund M. ClarkeetJoseph 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]

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

Liens externes[modifier | modifier le code]

• Une bibliographie commentée sur le site de l'ACM

• (en) Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
  • Scopus
• Notice dans un dictionnaire ou une encyclopédie généraliste :

  • Britannica

Notices d'autorité :

• VIAF

• Portail de l’informatique
• Portail de l'informatique théorique