Yahoo Web Search

Search results

1. en.wikipedia.org › wiki › Dana_ScottDana Scott - Wikipedia

   en.wikipedia.org › wiki › Dana_Scott

   • Cached

   Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.

2. Images

   • 
   • 
   • 
   • 

   View all

3. www.britannica.com › biography › Dana-ScottDana Scott | Biography, A.M. Turing Award, & Facts | Britannica

   www.britannica.com › biography › Dana-Scott

   • Cached

   May 1, 2024 · Dana Scott (born October 11, 1932, Berkeley, California, U.S.) is an American mathematician, logician, and computer scientist who was co-winner of the 1976 A.M. Turing Award, the highest honour in computer science.

   • Author: William L. Hosch

4. amturing.acm.org › award_winners › scott_1193622Dana S Scott - A.M. Turing Award Laureate

   amturing.acm.org › award_winners › scott_1193622

   • Cached

   Dana Scott is an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy. He made seminal contributions to automata theory, modal logic, model theory, set theory, and the theory of programming languages.

5. history.computer.org › pioneers › scottComputer Pioneers - Dana Stewart Scott

   history.computer.org › pioneers › scott

   • Cached

   Dana Stewart Scott. Born October 11, 1932, Berkeley, Calif.; logician; joint creator with Christopher Strachey of a theoretical system for the study of program properties and language definitions--denotational semantics; joint recipient of the 1976 ACM Turing Award with Michael Rabin.

6. amturing.acm.org › pdf › ScottTuringTranscriptA. M. Turing Award Oral History Interview with Dana Stewart ...

   amturing.acm.org › pdf › ScottTuringTranscript

   Dana Stewart Scott . Part 1 of 4 . by Gordon Plotkin. Berkeley, CA and Edinburgh, Scotland . November 12, 2020 . Gordon Plotkin: It’s a very great honor indeed for me to interview Dana Scott. Dana of course is the joint winner with Michael Rabin of the 1976 Turing Award. However, he’s accomplished far more than that, having

7. www.cs.cmu.edu › ~scottDana Scott's Home Page - CMU School of Computer Science

   www.cs.cmu.edu › ~scott

   • Cached

   Dana S. Scott Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic (Emeritus)

8. cacm.acm.org › news › an-interview-with-dana-scottAn Interview with Dana Scott – Communications of the ACM

   cacm.acm.org › news › an-interview-with-dana-scott

   • Cached

   Aug 1, 2022 · ACM fellow Dana Stewart Scott, the recipient jointly with Michael Rabin of the 1976 A.M. Turing Award for the concept of nondeterministic finite automata, has made seminal contributions spanning computing science, mathematics, philosophy, automata theory, modal logic, model theory, set theory, and the theory of programming languages.