Dana 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.
| 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 | |
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.