Dana Scott

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Dana Stewart Scott
Scott Dana small.jpg
Dana Scott
Date personale
Născut1932
Berkeley, SUA Modificați la Wikidata
Naționalitateamerican
CetățenieFlag of the United States.svg SUA Modificați la Wikidata
Ocupațiematematician
informatician
inginer
topolog[*]​
profesor universitar[*]​ Modificați la Wikidata
Activitate
Domeniuinformatician, matematician
InstituțieUniversitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma MaterUniversitatea Princeton
Universitatea Berkeley din California  Modificați la Wikidata
OrganizațiiAmerican Mathematical Society
Academia Națională de Științe a Statelor Unite ale Americii[*]​
Academia Europaea[*]​[1]
Finnish Academy of Science and Letters[*]​
Academia Americană de Arte și Științe[*]​
Association for Computing Machinery  Modificați la Wikidata
PremiiPremiul Turing, 1976
Prezență online
Modifică date / text 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)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)

Flag of the United States.svg Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui!
  1. ^ https://www.ae-info.org/ae/User/Scott_Dana  Lipsește sau este vid: |title= (ajutor)
Adus de la https://ro.wikipedia.org/w/index.php?title=Dana_Scott&oldid=13293005