Allen Emerson
Pour les articles homonymes, voir Emerson.
.jpg)
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation |
Université du Texas à Austin (baccalauréat universitaire ès sciences) (jusqu'en ) Harvard School of Engineering and Applied Sciences (en) (doctorat) (jusqu'en ) |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Site web | |
| Distinctions |
Allen (Ernest) Emerson, né le à Dallas au Texas et mort le 15 octobre 2024[1], est un chercheur en informatique, 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[2] puis a obtenu son Ph. D. en 1981, sous la direction de Edmund M. Clarke à l'université Harvard[3].
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 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].
Notes et références
[modifier | modifier le code]Notes
[modifier | modifier le code]- (en) Une description plus poussée des travaux est disponible sur le site de l'ACM.
Références
[modifier | modifier le code]- (en) « We bid farewell to E. Allen Emerson », sur Heidelberg Laureate Foundation (consulté le )
- (en) « E. Allen Emerson - A.M. Turing Award Laureate », sur Association for Computing Machinery (consulté le )
- (en) « Allen Emerson », sur le site du Mathematics Genealogy Project.
- (en) « E. Allen Emerson », sur Association for Computing Machinery (consulté le )
Liens externes
[modifier | modifier le code]
- (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
- Naissance en juin 1954
- Naissance à Dallas
- Étudiant de l'université Harvard
- Étudiant de l'université du Texas à Austin
- Docteur de l'université Harvard
- Professeur à l'université du Texas à Austin
- Personnalité américaine de l'informatique
- Personnalité en informatique théorique
- Personnalité en méthodes formelles
- Lauréat du prix Turing
- Lauréat du prix Paris-Kanellakis
- Décès à 70 ans
- Décès en octobre 2024
- Décès à Austin (Texas)