Allen Emerson

Pour les articles homonymes, voir Emerson.

Allen Emerson

Biographie
Naissance	2 juin 1954 (69 ans) 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é

Autres informations
A travaillé pour	Université du Texas à Austin
Maître	Edmund M. Clarke
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

Allen (Ernest) Emerson, né le 2 juin 1954 à 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 23 juillet 2018 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

v · m Lauréats du prix Turing
Alan Perlis (1966) Maurice Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969) J.H. Wilkinson (1970) John McCarthy (1971) Edsger Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell et Herbert Simon (1975) Michael Rabin et Dana S. Scott (1976) John Backus (1977) Robert Floyd (1978) Kenneth Iverson (1979) Charles A. R. Hoare (1980) Edgar Frank Codd (1981) Stephen Cook (1982) Kenneth Thompson et Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft et Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989) Fernando Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis et Richard Stearns (1993) Edward Feigenbaum et Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) James Gray (1998) Frederick Brooks (1999) Andrew Yao (2000) Ole-Johan Dahl et Kristen Nygaard (2001) Ronald Rivest, Adi Shamir et Leonard Adleman (2002) Alan Kay (2003) Vinton G. Cerf et Robert E. Kahn (2004) Peter Naur (2005) Frances Allen (2006) Edmund Clarke, Allen Emerson et Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009) Leslie Valiant (2010) Judea Pearl (2011) Shafi Goldwasser et Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Whitfield Diffie et Martin Hellman (2015) Tim Berners-Lee (2016) David Patterson et John Hennessy (2017) Yann Le Cun, Yoshua Bengio et Geoffrey Hinton (2018) Patrick Hanrahan et Edwin Catmull (2019) Alfred Aho et Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023)

v · m

Lauréats du prix Turing

Alan Perlis (1966)
Maurice Wilkes (1967)
Richard Hamming (1968)
Marvin Minsky (1969)
J.H. Wilkinson (1970)
John McCarthy (1971)
Edsger Dijkstra (1972)
Charles Bachman (1973)
Donald Knuth (1974)
Allen Newell et Herbert Simon (1975)
Michael Rabin et Dana S. Scott (1976)
John Backus (1977)
Robert Floyd (1978)
Kenneth Iverson (1979)
Charles A. R. Hoare (1980)
Edgar Frank Codd (1981)
Stephen Cook (1982)
Kenneth Thompson et Dennis Ritchie (1983)
Niklaus Wirth (1984)
Richard Karp (1985)
John Hopcroft et Robert Tarjan (1986)
John Cocke (1987)
Ivan Sutherland (1988)
William Kahan (1989)
Fernando Corbató (1990)
Robin Milner (1991)
Butler Lampson (1992)
Juris Hartmanis et Richard Stearns (1993)
Edward Feigenbaum et Raj Reddy (1994)
Manuel Blum (1995)
Amir Pnueli (1996)
Douglas Engelbart (1997)
James Gray (1998)
Frederick Brooks (1999)
Andrew Yao (2000)
Ole-Johan Dahl et Kristen Nygaard (2001)
Ronald Rivest, Adi Shamir et Leonard Adleman (2002)
Alan Kay (2003)
Vinton G. Cerf et Robert E. Kahn (2004)
Peter Naur (2005)
Frances Allen (2006)
Edmund Clarke, Allen Emerson et Joseph Sifakis (2007)
Barbara Liskov (2008)
Charles P. Thacker (2009)
Leslie Valiant (2010)
Judea Pearl (2011)
Shafi Goldwasser et Silvio Micali (2012)
Leslie Lamport (2013)
Michael Stonebraker (2014)
Whitfield Diffie et Martin Hellman (2015)
Tim Berners-Lee (2016)
David Patterson et John Hennessy (2017)
Yann Le Cun, Yoshua Bengio et Geoffrey Hinton (2018)
Patrick Hanrahan et Edwin Catmull (2019)
Alfred Aho et Jeffrey Ullman (2020)
Jack Dongarra (2021)
Robert Metcalfe (2022)
Avi Wigderson (2023)

v · m Lauréats du prix Paris-Kanellakis
Adleman, Diffie, Hellman, Merkle, Rivest et Shamir (1996) Lempel et Ziv (1997) Bryant, Clarke, Emerson et McMillan (1998) Sleator et Tarjan (1999) Karmarkar (2000) Myers (2001) Franaszek (2002) Miller, Rabin, Solovay et Strassen (2003) Freund et Schapire (2004) Holzmann, Kurshan, 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, Andrei Broder, Anna Karlin, Michael Mitzenmacher et Eli Upfal (2020) Avrim Blum, Irit Dinur, Cynthia Dwork, Frank McSherry, Kobbi Nissim et Adam Davison Smith (2021) Michael Burrows, Paolo Ferragina et Giovanni Manzini (2022)

v · m

Lauréats du prix Paris-Kanellakis