Dana Scott

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Dana Stewart Scott
Dana Scott
Dana Scott
Născut 1932
Naționalitate american
Domeniu informatician, matematician
Instituție Universitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma Mater Universitatea California, Berkeley
Universitatea Princeton
Premii Premiul Turing, 1976
modifică Consultați documentația formatului

Dana Stewart Scott (n. 1932) este un matematician și informatician american, cu importante contribuții în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976. De asemenea, în anii 1970, în colaborare cu Christopher Strachey, a pus bazele abordărilor moderne din domeniul semanticii limbajelor de programare.

v • d • m
Laureați ai Premiului A. M. 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)
Flag of the United States.svg  Acest articol biografic despre un american este deocamdată un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la http://ro.wikipedia.org/w/index.php?title=Dana_Scott&oldid=7628725