Dana Scott
  | |
| Biografia | |
|---|---|
| Naixement | 11 octubre 1932 (91 anys) Berkeley (Califòrnia) |
| Dades personals | |
| Nacionalitat | Estatunidenc |
| Formació | Universitat de Califòrnia a Berkeley (llicenciatura, 1954) Universitat de Princeton (doctorat,1958) |
| Tesi acadèmica | Convergent Sequences of Complete Theories (1958) |
| Director de tesi | Alonzo Church |
| Es coneix per | Teoria d'autòmats semàntica dels llenguatges de programació |
| Activitat | |
| Camp de treball | Reticle, lògica matemàtica, teoria de models, topologia, programació d'ordinadors, teoria d'autòmats, semàntica i llenguatge de programació |
| Ocupació | Informàtica Matemàtiques Filosofia |
| Organització | Universitat de Califòrnia a Berkeley Stanford Universitat d'Oxford Carnegie Mellon |
| Membre de | |
| Obra | |
| Estudiant doctoral | Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner[1] |
| Família | |
| Cònjuge | Irene Schreier Scott |
| Parents | Otto Schreier (sogre) |
Premis Premi Leroy P. Steele (1972) Premi Turing (1976) Harold Pender Award (1990) Premis Rolf Schock en Lògica i Filosofia (1997) | |
| Lloc web | cs.cmu.edu… |
Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories.
Referències[modifica]
- ↑ «Dana Stewart Scott». Mathematics Genealogy Project. North Dakota State University. [Consulta: 26 desembre 2011].
Enllaços externs[modifica]
 |
A Wikimedia Commons hi ha contingut multimèdia relatiu a: Dana Scott |
- Pàgina de Dana S. Scott
- DOMAIN 2002 Workshop on Domain Theory Arxivat 2004-10-12 a Wayback Machine. — celebrada en honor del 70è aniversari de Scott.
- Dana Scott al Mathematics Genealogy Project.
- Llista de publicacions Arxivat 2015-04-30 a Wayback Machine. a Microsoft Academic Search
Guardonats amb el Premi Turing | |
|---|---|
Perlis (1966) • Wilkes (1967) • Hamming (1968) • Minsky (1969) • Wilkinson (1970) • McCarthy (1971) • Dijkstra (1972) • Bachman (1973) • Knuth (1974) • Newell / Simon (1975) • Rabin / Scott (1976) • Backus (1977) • Floyd (1978) • Iverson (1979) • Hoare (1980) • Codd (1981) • Cook (1982) • Thompson / Ritchie (1983) • Wirth (1984) • Karp (1985) • Hopcroft / Tarjan (1986) • Cocke (1987) • Sutherland (1988) • Kahan (1989) • Corbató (1990) • Milner (1991) • Lampson (1992) • Hartmanis / Stearns (1993) • Feigenbaum / Reddy (1994) • Blum (1995) • Pnueli (1996) • Engelbart (1997) • Gray (1998) • Brooks (1999) • Yao (2000) • Dahl / Nygaard (2001) • Rivest / Shamir / Adleman (2002) • Kay (2003) • Cerf / Kahn (2004) • Naur (2005) • Allen (2006) • Clarke / Emerson / Sifakis (2007) • Liskov (2008) • Thacker (2009) • Valiant (2010) • Pearl (2011) • Micali / Goldwasser (2012) • Lamport (2013) • Stonebraker (2014) • Hellman / Diffie (2015) • Berners-Lee (2016) • Hennessy / Patterson (2017) • Bengio / Hinton / LeCun (2018) • Hanrahan / Catmull (2019) • Aho / Ullman (2020) • Dongarra (2021) • Metcalfe (2022) |
- Persones vives
- Premiats amb el Premi Turing
- Informàtics californians
- Persones de Berkeley
- Matemàtics californians
- Alumnes de la Universitat de Califòrnia a Berkeley
- Alumnes de la Universitat de Princeton
- Premi Rolf Schock
- Doctors honoris causa per la Universitat d'Edimburg
- Científics californians
- Doctors honoris causa per la Universitat d'Utrecht