Dana Scott

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare
Dana Stewart Scott
Scott Dana small.jpg
Dana Scott
Date personale
Născut1932
Berkeley, California, SUA Modificați la Wikidata
Căsătorit cu Irene Schreier Scott[*][[Irene Schreier Scott (artist and lecturer in music)|​]][2] 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]
Suomalainen Tiedeakatemia[*][[Suomalainen Tiedeakatemia (Finnish scientific society, founded 1908 in Helsinki)|​]]
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. , Berkeley, California, SUA) 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.

Note[modificare | modificare sursă]

  1. ^ https://www.ae-info.org/ae/User/Scott_Dana  Lipsește sau este vid: |title= (ajutor)
  2. ^ MacTutor History of Mathematics archive 


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!
Adus de la https://ro.wikipedia.org/w/index.php?title=Dana_Scott&oldid=14637172