Dana Scott

Dana Scott

Henkilötiedot
Koko nimi	Dana Stewart Scott
Syntynyt	11. lokakuuta 1932 (ikä 91)
Koulutus ja ura
Väitöstyön ohjaaja	Alonzo Church
Tutkimusalue	Hila, matemaattinen logiikka, Malliteoria, topologia, ohjelmointi, Automaattiteoria, semantiikka ja ohjelmointikieli
Palkinnot	Turing-palkinto
Aiheesta muualla
www.cs.cmu.edu/~scott
[ Muokkaa Wikidatassa ]
Infobox OK

Dana Stewart Scott (s. 11. lokakuuta 1932 Berkeley, Kalifornia) on yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko.^[1] Hän on työskennellyt uransa aikana useissa yliopistoissa, kuten Carnegie Mellonissa.

Scottille on myönnetty Michael O. Rabinin kanssa Turing-palkinto vuonna 1976 heidän yhteisestä tutkimusartikkelistaan "Finite Automata and Their Decision Problem", jossa he esittelivät epädeterminististen koneiden käsitteen.^[1]

Scottille on myönnetty Rolf Schockin palkinto (1997). Scott on toiminut Kansallisen tiedeakatemian jäsenenä vuodesta 1988.

Lähteet[muokkaa | muokkaa wikitekstiä]

↑ ^a ^b Dana Stewart Scott amturing.acm.org. Viitattu 4.9.2019. (englanniksi)

n k m Turing-palkinnon saajat

1960-luku	1966: Alan Perlis 1967: Maurice V. Wilkes 1968: Richard Hamming 1969: Marvin Minsky

1970-luku	1970: James H. Wilkinson 1971: John McCarthy 1972: Edsger Dijkstra 1973: Charles Bachman 1974: Donald Knuth 1975: Allen Newell, Herbert Simon 1976: Michael O. Rabin, Dana Scott 1977: John Backus 1978: Robert W. Floyd 1979: Kenneth E. Iverson

1980-luku	1980: C. Antony R. Hoare 1981: Edgar F. Codd 1982: Stephen A. Cook 1983: Ken Thompson, Dennis Ritchie 1984: Niklaus Wirth 1985: Richard M. Karp 1986: John Hopcroft, Robert Tarjan 1987: John Cocke 1988: Ivan Sutherland 1989: William Kahan

1990-luku	1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994: Edward Feigenbaum, Raj Reddy 1995: Manuel Blum 1996: Amir Pnueli 1997: Douglas Engelbart 1998: Jim Gray 1999: Frederick P. Brooks

2000-luku	2000: Andrew Chi-Chih Yao 2001: Ole-Johan Dahl, Kristen Nygaard 2002: Ronald Rivest, Adi Shamir, Leonard M. Adleman 2003: Alan Kay 2004: Vinton G. Cerf, Robert E. Kahn 2005: Peter Naur 2006: Frances E. Allen 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis 2008: Barbara Liskov 2009: Charles P. Thacker

2010-luku	2010: Leslie G. Valiant 2011: Judea Pearl 2012: Silvio Micali, Shafi Goldwasser 2013: Leslie Lamport 2014: Michael Stonebraker 2015: Whitfield Diffie, Martin Hellman 2016: Tim Berners-Lee 2017: John L. Hennessy, David A. Patterson 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCunn 2019: Edwin Catmull, Pat Hanrahan

2020-luku	2020: Alfred Aho, Jeffrey Ullman 2021: Jack Dongarra 2022: Robert Metcalfe 2023: Avi Wigderson

Auktoriteettitunnisteet

Kansainväliset	FAST ISNI VIAF

Kansalliset	Norja 2 Ranska BnF data Saksa Israel Belgia Yhdysvallat Tšekki Australia Alankomaat Puola

Tieteilijät	Association for Computing Machinery CiNii DBLP Google Scholar MathSciNet Mathematics Genealogy Project Scopus zbMATH

Henkilöt	Trove

Muut	IdRef

Tämä tieteilijään liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.

Lähteet[muokkaa | muokkaa wikitekstiä]

Navigointivalikko

Haku