Allen (Ernest) Emerson, né le à Dallas au Texas et mort le , est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis.
Biographie Allen Emerson a étudié les mathématiques à l'université du Texas à Austin puis a obtenu son Ph. D. en 1981, sous la direction de Edmund M. Clarke à l'université Harvard..
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 () Une description plus poussée des travaux est disponible sur le site de l'ACM..
Distinctions Il a reçu le prix Turing en 2007, avec Edmund M. Clarke et Joseph Sifakis pour son travail sur le model checking.
Emerson avait précédemment reçu le prix Paris-Kanellakis (1998).
Notes et références Notes
Références
Liens externes
Une bibliographie commentée sur le site de l'ACM
Catégorie:Naissance en juin 1954 Catégorie:Naissance à Dallas Catégorie:Étudiant de l'université Harvard Catégorie:Étudiant de l'université du Texas à Austin Catégorie:Docteur de l'université Harvard Catégorie:Professeur à l'université du Texas à Austin Catégorie:Personnalité américaine de l'informatique Catégorie:Personnalité en informatique théorique Catégorie:Personnalité en méthodes formelles Catégorie:Lauréat du prix Turing Catégorie:Lauréat du prix Paris-Kanellakis Catégorie:Décès à 70 ans Catégorie:Décès en octobre 2024 Catégorie:Décès à Austin (Texas)