Dana Scott
From Wikipedia, the free encyclopedia
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.
Pikafaktoja Henkilötiedot, Koulutus ja ura ...
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 | |
Infobox OK |
Sulje
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.