October 11, 1984 - Jerusalem: October 15, 1965 | Karl Kruusamäe (Karl Kruusamae) | October 11, 1984 - Jerusalem: October 15, 1965
Dana Scott
- Berkeley: October 11, 1932 celebration


-
account_circle Username
Dana Scott -
flag Country
United States -
wc Gender
Male -
badge Full Name
Dana Scott -
assignment_ind Surname
-
tv_signin Nickname
-
identity_platform Alias
-
celebration Date of birth
Berkeley: October 11, 1932 -
language Official Website
http://www.cs.cmu.edu/~scott -
engineering Field of Work
- programming language
- semantics
- topology
- computer programming
- automata theory
- model theory
- lattice
- mathematical logic
-
local_library teacher
-
person_book Student
-
school Education
- Princeton University
- University of California, Berkeley
-
trophy Awards & Honors
- Rolf Schock Prizes (1997)
- ACM Fellow (1994)
- Turing Award (1976)
- Gödel Lecturer (1991)
- Fellow of the American Mathematical Society (2013)
- Leroy P. Steele Prize (1972)
- Rolf Schock Prize in Logic and Philosophy (1997)
- honorary doctor of the University of Edinburgh
- Guggenheim Fellowship (1978)
- honorary doctor of the University of Utrecht
- Harold Pender Award (1990)
- EATCS award (2007)
-
social_leaderboard Notable Works
- American mathematician and computer scientist | Rolf Schock Prizes (1997), ACM Fellow (1994), Turing Award (1976), Gödel Lecturer (1991), Fellow of the