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
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].
Notes et références
Notes
Références
Liens externes
|
|---|
- Adleman, Diffie, Hellman, Merkle, Rivest et Shamir (1996)
- Lempel et Ziv (1997)
- Bryant, Clarke, Emerson et McMillan (en) (1998)
- Sleator et Tarjan (1999)
- Karmarkar (2000)
- Myers (2001)
- Franaszek (2002)
- Miller, Rabin, Solovay et Strassen (2003)
- Freund et Schapire (2004)
- Holzmann, Kurshan (de), Vardi et Wolper (2005)
- Robert Brayton (2006)
- Bruno Buchberger (2007)
- Corinna Cortes et Vladimir Vapnik (2008)
- Bellare et Rogaway (2009)
- Kurt Mehlhorn (2010)
- Hanan Samet (2011)
- Andrei Broder, Moses Charikar et Piotr Indyk (2012)
- Robert D. Blumofe et Charles E. Leiserson (2013)
- James Demmel (2014)
- Michael Luby (2015)
- Amos Fiat et Moni Naor (2016)
- Scott Shenker (2017)
- Pevzner (2018)
- Noga Alon, Phillip Gibbons, Yossi Matias et Mario Szegedy (2019)
- Yossi Azar (de), Andrei Broder, Anna Karlin, Michael Mitzenmacher et Eli Upfal (2020)
- Avrim Blum (en), Irit Dinur, Cynthia Dwork, Frank McSherry, Kobbi Nissim et Adam Davison Smith (2021)
- Michael Burrows, Paolo Ferragina (it) et Giovanni Manzini (it) (2022)
- Guy Blelloch (en), Laxman Dhulipala et Julian Shun (2023)
|
.jpg)
