Dana Scott

✓ Source-basedstable

American mathematician and computer scientist

United States AcademicsBorn 1932 · age 93

CompareClaim

Fame53.7

Momentum0.7

Languages30

In century#26,789

Text from Wikipedia, CC BY-SA 4.0

Also inDeutsch

Photos 1

Awards 12

2013Fellow of the American Mathematical Society

2007EATCS award

1997Rolf Schock Prize in Logic and Philosophy

1997Rolf Schock Prizes

1994ACM Fellow

1991Gödel Lecturer

1990Harold Pender Award

1978Guggenheim Fellowship

1976Turing Award

1972Leroy P. Steele Prize

honorary doctor of the University of Utrecht

honorary doctor of the University of Edinburgh

In their orbit 1

SpouseIrene Schreier Scott

Connected to Dana 6

Stephen CookAlso won Gödel Lecturer

Oumou SangaréAlso won Rolf Schock Prizes

Richard M. KarpAlso won EATCS award

Raoul BottAlso won Leroy P. Steele Prize

Pierre CuypersAlso won honorary doctor of the University of Utrecht

Derek ParfitAlso won Rolf Schock Prize in Logic and Philosophy

About this person

Dana Stewart Scott is an American logician who is the Hillman University Professor emeritus of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. He is now retired and lives in Berkeley, California. He and Michael O. Rabin won the 1976 ACM Turing Award for their work on automata theory, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.

Text from Wikipedia, CC BY-SA 4.0

Country

United States