Dana Scott
(Ohjattu sivulta Dana Stewart Scott)
| Dana Scott | |
|---|---|
 |
|
| Henkilötiedot | |
| Koko nimi | Dana Stewart Scott |
| Syntynyt | 11. lokakuuta 1932 |
| 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.
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ a b Dana Stewart Scott amturing.acm.org. Viitattu 4.9.2019. (englanniksi)
| ||||||||||||||||||||||
