Allen Emerson

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

Biographie

Naissance	2 juin 1954 Dallas
Décès	15 octobre 2024 (à 70 ans) Austin
Nationalité	américaine
Formation	Université du Texas à Austin (baccalauréat universitaire ès sciences) (jusqu'en 1976) Harvard School of Engineering and Applied Sciences (en) (Ph.D.) (jusqu'en 1981)
Activités	Informaticien, ingénieur, professeur d'université

Autres informations

A travaillé pour	Université du Texas à Austin
Directeur de thèse	Edmund M. Clarke
Site web	(en) www.cs.utexas.edu/~emerson
Distinctions	Prix Paris-Kanellakis (1998) Prix Turing (2007)

modifier - modifier le code - modifier Wikidata

Biographie

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]}.

Distinctions

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].