Dana Scott

American mathematician and computer scientist · United States · On the map · Academics · Born 1932 · age 94

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.

Dana Scott is read about 68 times a day, in 36 languages.

A typical day, 30 days to 6 November 2026

The middle day of the days counted, so one week of news cannot move it. The line under it is the last 104 days, one point a day.

Something wrong?

Compare Claim

A life in dates

2013Fellow of the American Mathematical SocietyAward2007EATCS awardAward1997Rolf Schock Prize in Logic and PhilosophyAwardRolf Schock PrizesAward1994ACM FellowAward1991Gödel LecturerAward1990Harold Pender AwardAward1978Guggenheim FellowshipAward1976Turing AwardAward1972Leroy P. Steele PrizeAward1932Born11 October 1932

People around Dana

Moshe Vardi Co-founded SIGLOG

Also in Deutsch

Media & music

Photos 1

Awards

Fellow of the American Mathematical Society2013

EATCS award2007

Rolf Schock Prize in Logic and Philosophy1997

Rolf Schock Prizes1997

ACM Fellow1994

Gödel Lecturer1991

Harold Pender Award1990

Guggenheim Fellowship1978

Turing Award1976

Leroy P. Steele Prize1972

Honorary Doctor of the University of Utrecht

Honorary Doctor of the University of Edinburgh

About this person

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.

Country

United States