Dana Scott

Wikipediasta
Siirry navigaatioon Siirry hakuun
Dana Scott
Scott Dana small.jpg
Henkilötiedot
Koko nimi Dana Stewart Scott
Syntynyt 11. lokakuuta 1932 (ikä 87)
Berkeley
Koulutus ja ura
Väitöstyön ohjaaja Alonzo Church
Tutkimusalue Hila, matemaattinen logiikka, Malliteoria, topologia ja ohjelmointi
Palkinnot Turing-palkinto
Aiheesta muualla
www.cs.cmu.edu/~scott

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ä tutkimuspaperistaan Finite Automata and Their Decision Problem, joka esitteli 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ä]

  1. a b Dana Stewart Scott amturing.acm.org. Viitattu 4.9.2019. (englanniksi) 
Tämä tieteilijään liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.