Dana Scott

Dana S. Scott (born 1932) is the incumbent Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. His research career has spanned computer science, mathematics and philosophy, and has been characterised by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigour, with a cultivation of mathematically hard problems that bear on these concepts. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology and category theory.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

1932: 1932 is a leap year starting on a Friday....

Computer Science: Computer science (abbreviated CS or compsci) encompasses a variety of topics that relates to computation, like abstract analysis of algorithms, formal grammars, and subjects such as programming languages, program design, software, computer hardware, artificial intelligence, and numerical analysis. B...

Philosophy: Philosophy is a discipline or field of study involving the investigation, analysis, and development of ideas at a general, abstract, or fundamental level. It is the discipline in search for a general understanding of values and reality by chiefly speculative rather than observational means. The term...

Dana Scott related Images and Photos (experimental)

Scott Baio	Scott Baker	Scott Gomez	Scott Riggs
Scott Brady	Scott Joplin	Dana Plato	Scott Weiland
Scott Weiland	Dana Delany	Scott Speedman	Dana Andrews