Allen Emerson
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Emerson.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/E-allen-emerson.jpg/260px-E-allen-emerson.jpg)
Naissance | ![]() Dallas ![]() |
---|---|
Nationalité | américaine ![]() |
Formation | Université Harvard Université du Texas à Austin Harvard School of Engineering and Applied Sciences (en) ![]() |
Activités | Informaticien, ingénieur, professeur d'université ![]() |
A travaillé pour | |
---|---|
Maître | Edmund M. Clarke ![]() |
Directeur de thèse | Edmund M. Clarke ![]() |
Site web | (en) www.cs.utexas.edu/~emerson ![]() |
Distinctions | Prix Paris-Kanellakis () Prix Turing () ![]() |
modifier - modifier le code - modifier Wikidata
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
- ↑ a et b (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).
Liens externes
- 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
- ISNI
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- Tchéquie
- WorldCat
Portail de l’informatique
Portail de l'informatique théorique