Microsoft Store
 

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.

Related Topics:
1932 - Computer Science - Philosophy - Mathematical Logic - Carnegie Mellon University - Mathematics - Automata theory - ACM Turing Award - 1976 - Christopher Strachey - 1970s - Semantics of programming languages - Modal logic - Topology - Category theory

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

 
Dana Scott: Early career ►

~ Table of Content ~

►Introduction
►Early career
►University of California, Berkeley, 1960–1963

 

 

~ What's Hot ~

Dear John, Clash Of The Titans, Sorority Row, My Sister S Keeper, The Blind Side, The Karate Kid, The Princess And The Frog, The Hangover, All About Steve, Up In The Air, Daybreakers, Alvin And The Chipmunks The Squeakquel, The Time Traveler S Wife, New Moon, 500 Days Of Summer, Hannah Montana The Movie, Avatar, The Book Of Eli, The Mummy 4 Rise Of The Aztec, Lethal Weapon 5,

~ Community ~

►History Forum
Come and discuss about History, Civilizations, Historical Events and Figures
►History Web-Ring
A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site.

Some of the information on this page come from a Wikipedia article
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.