Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica,filosofia ilògica matemàtica de laCarnegie Mellon; ara està retirat i viu aBerkeley (Califòrnia). La seva carrera com a investigador va comprendreinformàtica, lesmatemàtiques i lafilosofia. La seva feina enteoria d'autòmats li va fer guanyar elPremi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey elsanys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat enlògica modal,topologia iteoria de categories.
Guardonats amb elPremi 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) •Wigderson (2023) |
