Allen Emerson
From Wikipedia, the free encyclopedia
Naissance
Décès
Nationalité
Formation
Université du Texas à Austin (baccalauréat ès sciences) (jusqu'en )
École d'ingénierie et de sciences appliquées de Harvard (en) (docteur en philosophie) (jusqu'en )
École d'ingénierie et de sciences appliquées de Harvard (en) (docteur en philosophie) (jusqu'en )
Allen Emerson
.jpg)
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation |
Université du Texas à Austin (baccalauréat ès sciences) (jusqu'en ) École d'ingénierie et de sciences appliquées de Harvard (en) (docteur en philosophie) (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 [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].
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].
