Dana Scott
Dana Stewart Scott | |
Rođenje | 11. 10. 1932. (1932-10-11) (dob: 91) |
---|---|
Polje | računarstvo matematika filozofija |
Alma mater | B.A. (mathematics) 1954, University of California, Berkeley Ph.D. 1958, Princeton University |
Akademski mentor | Alonzo Church |
Poznat po | teorija automata, semantika programskih jezika |
Istaknute nagrade | ACM Turing Award 1976, Tarski lectures 1989 |
Dejna Stujart Skot (engl. Dana Stewart Scott; rođen 1932. godine) je američki naučnik, dobitnik Tjuringove nagrade za svoj doprinos na polju teorije automata.
Spoljašnje veze
Dana Scott na Wikimedijinoj ostavi
- Dana Scott na sajtu Mathematics Genealogy Project (en)
- Skotova Internet stranica (en)
- p
- r
- u
Dobitnici Nagrade A. M. Turing
- Alan Perlis (1966)
- Maurice Vincent Wilkes (1967)
- Richard Hamming (1968)
- Marvin Minsky (1969)
- James H. Wilkinson (1970)
- John McCarthy (1971)
- Edsger W. Dijkstra (1972)
- Charles Bachman (1973)
- Donald Knuth (1974)
- Allen Newell / Herbert A. Simon (1975)
- Michael O. Rabin / Dana Scott (1976)
- John Backus (1977)
- Robert W. Floyd (1978)
- Kenneth E. Iverson (1979)
- Tony Hoare (1980)
- Edgar F. Codd (1981)
- Stephen Cook (1982)
- Ken Thompson / Dennis Ritchie (1983)
- Niklaus Wirth (1984)
- Richard Karp (1985)
- John Hopcroft / Robert Tarjan (1986)
- John Cocke (1987)
- Ivan Sutherland (1988)
- William Kahan (1989)
- Fernando J. Corbató (1990)
- Robin Milner (1991)
- Butler Lampson (1992)
- Juris Hartmanis / Richard Stearns (1993)
- Edward Feigenbaum / Raj Reddy (1994)
- Manuel Blum (1995)
- Amir Pnueli (1996)
- Douglas Engelbart (1997)
- Jim Gray (1998)
- Fred Brooks (1999)
- Andrew Yao (2000)
- Ole-Johan Dahl / Kristen Nygaard (2001)
- Ron Rivest / Adi Shamir / Leonard Adleman (2002)
- Alan Kay (2003)
- Vint Cerf / Bob Kahn (2004)
- Peter Naur (2005)
- Frances E. Allen (2006)
- Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007)
- Barbara Liskov (2008)
- Charles P. Thacker (2009)
- Leslie G. Valiant (2010)
- Judea Pearl (2011)
- Shafi Goldwasser / Silvio Micali (2012)
- Leslie Lamport (2013)
- Michael Stonebraker (2014)
- Martin Hellman / Whitfield Diffie (2015)
- Tim Berners-Lee (2016)
- John L. Hennessy / David Patterson (2017)