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ż

Niedeterministyczny automat skończony

Laureaci Nagrody Turinga

XX wiek	1966: Alan Perlis 1967: Maurice V. Wilkes 1968: Richard Hamming 1969: Marvin Minsky 1970: James H. Wilkinson 1971: John McCarthy 1972: Edsger Dijkstra 1973: Charles W. Bachman 1974: Donald E. Knuth 1975: Allen Newell, Herbert Simon 1976: Michael O. Rabin, Dana S. Scott 1977: John Backus 1978: Robert W. Floyd 1979: Kenneth E. Iverson 1980: C.A.R. Hoare 1981: Edgar F. Codd 1982: Stephen A. Cook 1983: Ken Thompson, Dennis Ritchie 1984: Niklaus Wirth 1985: Richard M. Karp 1986: John Hopcroft, Robert Tarjan 1987: John Cocke 1988: Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994: Edward Feigenbaum, Raj Reddy 1995: Manuel Blum 1996: Amir Pnueli 1997: Douglas Engelbart 1998: James Gray 1999: Frederick P. Brooks Jr. 2000: Andrew Chi-Chih Yao
XXI wiek	2001: Ole-Johan Dahl, Kristen Nygaard 2002: Ron Rivest, Adi Szamir, Leonard Adleman 2003: Alan Kay 2004: Vinton G. Cerf, Robert E. Kahn 2005: Peter Naur 2006: Frances E. Allen 2007: Edmund Clarke, Allen Emerson, Joseph Sifakis 2008: Barbara Liskov 2009: Charles P. Thacker 2010: Leslie Valiant 2011: Judea Pearl 2012: Silvio Micali, Shafrira Goldwasser 2013: Leslie Lamport 2014: Michael Stonebraker 2015: Whitfield Diffie, Martin Hellman 2016: Tim Berners-Lee 2017: John L. Hennessy, David Patterson 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun 2019: Ed Catmull, Pat Hanrahan 2020: Alfred V. Aho, Jeffrey Ullman 2021: Jack Dongarra 2022: Robert Metcalfe 2023: Avi Wigderson

XX wiek

1966: Alan Perlis
1967: Maurice V. Wilkes
1968: Richard Hamming
1969: Marvin Minsky
1970: James H. Wilkinson
1971: John McCarthy
1972: Edsger Dijkstra
1973: Charles W. Bachman
1974: Donald E. Knuth
1975: Allen Newell, Herbert Simon
1976: Michael O. Rabin, Dana S. Scott
1977: John Backus
1978: Robert W. Floyd
1979: Kenneth E. Iverson
1980: C.A.R. Hoare
1981: Edgar F. Codd
1982: Stephen A. Cook
1983: Ken Thompson, Dennis Ritchie
1984: Niklaus Wirth
1985: Richard M. Karp
1986: John Hopcroft, Robert Tarjan
1987: John Cocke
1988: Ivan Sutherland
1989: William Kahan
1990: Fernando J. Corbató
1991: Robin Milner
1992: Butler W. Lampson
1993: Juris Hartmanis, Richard E. Stearns
1994: Edward Feigenbaum, Raj Reddy
1995: Manuel Blum
1996: Amir Pnueli
1997: Douglas Engelbart
1998: James Gray
1999: Frederick P. Brooks Jr.
2000: Andrew Chi-Chih Yao

XXI wiek

2001: Ole-Johan Dahl, Kristen Nygaard
2002: Ron Rivest, Adi Szamir, Leonard Adleman
2003: Alan Kay
2004: Vinton G. Cerf, Robert E. Kahn
2005: Peter Naur
2006: Frances E. Allen
2007: Edmund Clarke, Allen Emerson, Joseph Sifakis
2008: Barbara Liskov
2009: Charles P. Thacker
2010: Leslie Valiant
2011: Judea Pearl
2012: Silvio Micali, Shafrira Goldwasser
2013: Leslie Lamport
2014: Michael Stonebraker
2015: Whitfield Diffie, Martin Hellman
2016: Tim Berners-Lee
2017: John L. Hennessy, David Patterson
2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun
2019: Ed Catmull, Pat Hanrahan
2020: Alfred V. Aho, Jeffrey Ullman
2021: Jack Dongarra
2022: Robert Metcalfe
2023: Avi Wigderson

Laureaci Nagrody Schocka w dziedzinie logiki i filozofii

XX wiek	Willard Van Orman Quine (1993) Michael Dummett (1995) Dana Scott (1997) John Rawls (1999)
XXI wiek	Saul Kripke (2001) Solomon Feferman (2003) Jaakko Hintikka (2005) Thomas Nagel (2008) Hilary Putnam (2011) Derek Parfit (2014) Ruth Millikan (2017) Saharon Szelach (2018) Dag Prawitz i Per Martin-Löf (2020) David Kaplan (2022)