Dana Scott

Wikipediasta
Siirry navigaatioon Siirry hakuun
Dana Scott
Henkilötiedot
Koko nimi Dana Stewart Scott
Syntynyt11. lokakuuta 1932 (ikä 92)
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

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.

  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.