| 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 |
[ Muokkaa Wikidatassa ]  |
| Infobox OK |
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
- ↑ a b Dana Stewart Scott amturing.acm.org. Viitattu 4.9.2019. (englanniksi)
|
|---|
| | 1960-luku | |
|---|
| | 1970-luku | |
|---|
| | 1980-luku | |
|---|
| | 1990-luku | |
|---|
| | 2000-luku | |
|---|
| | 2010-luku | |
|---|
| | 2020-luku | |
|---|
|
Auktoriteettitunnisteet  |
|---|
| | Kansainväliset | |
|---|
| | Kansalliset | - Norja
- Ranska
- BnF data
- Saksa
- Israel
- Belgia
- Yhdysvallat
- Tšekki
- Australia
- Alankomaat
- Puola
|
|---|
| | Tieteilijät | - Association for Computing Machinery
- CiNii
- DBLP
- Google Scholar
- MathSciNet
- Mathematics Genealogy Project
- Scopus
- zbMATH
|
|---|
| | Henkilöt | |
|---|
| | Muut | |
|---|
|
Tämä tieteilijään liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia. 
