Dana Scott

Dana Stewart Scott

Dana Scott
Date personale
Născut1932
Berkeley, California, SUA Modificați la Wikidata
Căsătorit cuIrene Schreier Scott[*][[Irene Schreier Scott (Austrian-born pianist, artist and lecturer in music)|​]][4] Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațiematematician
informatician
inginer
topolog[*]​
cadru didactic universitar[*]​ Modificați la Wikidata
Limbi vorbitelimba engleză[5] 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țiiAcademia 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
American Mathematical Society[2][3]  Modificați la Wikidata
PremiiPremiul Turing, 1976
Prezență online
site web oficial
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

  1. ^ https://www.ae-info.org/ae/User/Scott_Dana  Lipsește sau este vid: |title= (ajutor)
  2. ^ http://www.ams.org/fellows_by_year.cgi?year=2013, accesat în   Lipsește sau este vid: |title= (ajutor)
  3. ^ http://www.ams.org/news?news_id=1680, accesat în   Lipsește sau este vid: |title= (ajutor)
  4. ^ MacTutor History of Mathematics archive 
  5. ^ Czech National Authority Database, accesat în  


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)

Control de autoritate
 Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui!