Dana Scott
Dana Stewart Scott (ur. 11 października 1932) – amerykański informatyk, logik, filozof.
W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.
Zobacz też
- p
- d
- e
Laureaci Nagrody Turinga
- p
- d
- e
Laureaci Nagrody Schocka w dziedzinie logiki i filozofii
XX wiek |
|
---|---|
XXI wiek |
|
Kontrola autorytatywna (osoba):
- Britannica: biography/Dana-Stewart-Scott
- NE.se: dana-scott
Identyfikatory zewnętrzne:
- Scopus: 7404952233
- Google Scholar: oaja5KYAAAAJ