Allen Emerson
Allen Emerson
| Naissance | |
|---|---|
| Nationalité | |
| Formation |
Université Harvard Université du Texas à Austin Harvard School of Engineering and Applied Sciences (en) |
| Activités |
| A travaillé pour | |
|---|---|
| Maître | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
Allen (Ernest) Emerson, né le à Dallas au Texas, 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[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
- (en) Une description plus poussée des travaux est disponible sur le site de l'ACM.
Références
- (en) Page officielle du Prix Turing 2007.
- (en) « Allen Emerson », sur le site du Mathematics Genealogy Project.
- (en) http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK&yr=1998 « Copie archivée » (version du sur Internet Archive).
Annexes
Liens externes
- Page personnelle sur le site l'université du Texas à Austin
- Une bibliographie commentée sur le site de l'ACM
Catégories :
- Naissance en juin 1954
- Naissance à Dallas
- Personnalité américaine en informatique
- Personnalité en informatique théorique
- Personnalité en méthodes formelles
- Étudiant de l'université du Texas à Austin
- Docteur de l'université Harvard
- Professeur à l'université du Texas à Austin
- Lauréat du prix Turing
- Étudiant de l'université Harvard