Allen Emerson — Wikipédia
- ️Wed Jun 02 1954
Un article de Wikipédia, l'encyclopédie libre.
Allen (Ernest) Emerson, né le 2 juin 1954 à Dallas au Texas et mort le 15 octobre 2024[1], est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis.
Allen Emerson a étudié les mathématiques à l'université du Texas à Austin[2] puis a obtenu son Ph. D. en 1981, sous la direction de Edmund M. Clarke à l'université Harvard[3].
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].
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)[4].
- ↑ (en) Une description plus poussée des travaux est disponible sur le site de l'ACM.
- ↑ (en) « We bid farewell to E. Allen Emerson », sur Heidelberg Laureate Foundation (consulté le 20 octobre 2024)
- ↑ a et b (en) « E. Allen Emerson - A.M. Turing Award Laureate », sur Association for Computing Machinery (consulté le 20 octobre 2024)
- ↑ (en) « Allen Emerson », sur le site du Mathematics Genealogy Project.
- ↑ (en) « E. Allen Emerson », sur Association for Computing Machinery (consulté le 20 octobre 2024)
- (en) Site officiel
- Ressources relatives à la recherche :
Notice dans un dictionnaire ou une encyclopédie généraliste
: - Une bibliographie commentée sur le site de l'ACM
