Dana S. Scott

Pour les articles homonymes, voir Scott.

Cet article est une ébauche concernant un mathématicien.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Dana Stewart Scott

Dana S. Scott (2007)

Biographie
Naissance	11 octobre 1932 (91 ans) Berkeley (Californie)
Nom dans la langue maternelle	Dana Stewart Scott
Nationalité	américain
Formation	Université de Princeton Université de Californie à Berkeley
Activités	Mathématicien, topologue, ingénieur, informaticien, professeur d'université
Conjoint	Irene Schreier Scott (d)
Parentèle	Otto Schreier (beau-père)

Autres informations
A travaillé pour	Université de Californie à Berkeley Université Carnegie-Mellon Université de Chicago Université de Linz
Membre de	Academia Europaea (1992) American Mathematical Society (2012) Académie américaine des arts et des sciences Académie finlandaise des sciences Association for Computing Machinery Académie américaine des sciences
Directeur de thèse	Alonzo Church
Site web	www.cs.cmu.edu/~scott
Distinctions	Prix Turing (1976) Liste détaillée Prix Leroy P. Steele (1972) Prix Turing (1976) Bourse Guggenheim (1978) Prix Harold-Pender (1990) Gödel Lecturer (1991) ACM Fellow (1994) Prix Schock (1997) Prix Schock de logique et philosophie (1997) Prix EATCS (2007) Membre honoraire de l'American Mathematical Society (2013) Docteur honoris causa de l'université d'Édimbourg Docteur honoris causa de l'université d'Utrecht

modifier - modifier le code - modifier Wikidata

Dana Stewart Scott, né le 11 octobre 1932 à Berkeley en Californie, est un mathématicien et informaticien américain.

Carrière

Dana Scott est un spécialiste de la théorie des automates et de la sémantique des langages de programmation. Il a également travaillé en logique modale, topologie, et théorie des catégories. Professeur d'informatique et de mathématiques à l'université Carnegie-Mellon jusqu'à sa retraite en 2003, il est depuis professeur émérite à l'université Carnegie-Mellon en tant que Hillman University Professor of Computer Science, Philosophy and Mathematical Logic. Sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation.

Prix et distinctions

Dana Scott a reçu plusieurs prix prestigieux tout au long de sa carrière :

1972 : prix Leroy P. Steele
1976 : prix Turing
1990 : prix Harold-Pender
1991 : Gödel Lecturer avec une conférence intitulée Will Logicians be Replaced by Machines?
1997 : prix Schock
2001 : médaille Bolzano de l'Académie tchèque des sciences
2007 : prix EATCS pour son article en collaboration avec Michael Rabin sur la théorie des automates.
2009 : médaille d'or de l'Institut Sobolev.

Carrière universitaire

Dana Scott a été successivement :

1958-1960 Enseignant (instructor), Université de Chicago
1960-1963 Professeur assistant (assistant professor), puis professeur associé (associate professor) de mathématiques, université de Californie à Berkeley
1963-1967 Professeur associé de logique et mathématiques, université Stanford
1967-1969 Professeur de logique et mathématiques, université Stanford
1968-1969 Professeur invité de mathématiques, université d'Amsterdam
1969-1972 Professeur de philosophie et mathématiques, université de Princeton
1972-1981 Professeur de logique mathématique, université d'Oxford
1981-2003 Professeur d'informatique, de logique mathématique et de philosophie, université Carnegie-Mellon
1992-1993 Professeur invité de mathématiques, université de Linz
depuis 1993 Professeur émérite

Notes et références

↑ « Dana Stewart Scott », Mathematics Genealogy Project, université d'État du Dakota du Nord (consulté le 26 décembre 2011)

Liens externes

Site officiel
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Scopus
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Britannica
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Australie
- Norvège
- 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 EATCS
Karp (2000) Böhm (2001) Nivat (2002) Rozenberg (2003) Salomaa (2004) Milner (2005) Paterson (2006) Scott (2007) Valiant (2008) Huet (2009) Mehlhorn (2010) Trakhtenbrot (2011) Vardi (2012) Dyer (2013) Plotkin (2014) Papadimitriou (2015) Kozen (2016) Tardos (2017) Nisan (2018) Henzinger (2019) Yannakakis (2020) Pitassi (2021)

v · m Lauréats du prix Schock
Logique et philosophie	Willard Van Orman Quine (1993) Michael Dummett (1995) Dana Scott (1997) John Rawls (1999) Saul Kripke (2001) Solomon Feferman (2003) Jaakko Hintikka (2005) Thomas Nagel (2008) Hilary Putnam (2011) Derek Parfit (2014) Ruth Millikan (2017) Saharon Shelah (2018) Dag Prawitz et Per Martin-Löf (2020) David Kaplan (2022)
Mathématiques	Elias M. Stein (1993) Andrew Wiles (1995) Mikio Satō (1997) Yuri I. Manin (1999) Elliott H. Lieb (2001) Richard P. Stanley (2003) Luis Caffarelli (2005) Endre Szemerédi (2008) Michael Aschbacher (2011) Yitang Zhang (2014) Richard Schoen (2017) Ronald Coifman (2018) Nikolai Georgievich Makarov (2020) Jonathan Pila (2022)
Arts visuels	Rafael Moneo (1993) Claes Oldenburg (1995) Torsten Andersson (1997) Herzog & de Meuron (1999) Giuseppe Penone (2001) Susan Rothenberg (2003) SANAA / Kazuyo Sejima + Ryūe Nishizawa (2005) Mona Hatoum (2008) Marlene Dumas (2011) Anne Lacaton / Jean-Philippe Vassal (2014) Doris Salcedo (2017) Andrea Branzi (2018) Francis Alÿs (2020) Rem Koolhaas (2022)
Arts musicaux	Ingvar Lidholm (1993) György Ligeti (1995) Jorma Panula (1997) Kronos Quartet (1999) Kaija Saariaho (2001) Anne Sofie von Otter (2003) Mauricio Kagel (2005) Gidon Kremer (2008) Andrew Manze (2011) Herbert Blomstedt (2014) Wayne Shorter (2017) Barbara Hannigan (2018) György Kurtág (2020) Víkingur Ólafsson (2022)