Dana Scott

Dana Scott
Henkilötiedot
Koko nimi	Dana Stewart Scott
Syntynyt	11. lokakuuta 1932 (ikä 94)
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. 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.

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

Lähteet