Dana Scott
Dana Scott(Q49823) is a pioneer in Theoretical Computing Science. He came up with the notion of Denotational Semantics, a.k.a. Mathematical Semantics with Richard Strachey.
Dana Stewart Scott is an American logician and computer scientist. He is known for his work in the foundations of mathematical logic, the theory of computation, and the philosophy of computing.
Scott's major contributions to logic include the development of the formalism of domain theory, which is a branch of mathematical logic that deals with the semantics of programming languages and the foundations of computational mathematics. He also made important contributions to the study of denotational semantics, which is a method for giving mathematical meanings to programming languages. In computer science, Scott is known for his work on the theory of automata and formal languages, the theory of algorithms, and the theory of programming languages. He also made contributions to the development of the lambda calculus, which is a formal system for expressing the concept of "function" in mathematics and computer science. Scott has also made important contributions to the philosophy of computing, particularly in the areas of artificial intelligence and the foundations of cognitive science. He has written extensively on the relationship between logic and computation, and on the implications of the theory of computation for our understanding of the mind and the nature of intelligence.
Scott is a Fellow of the Association for Computing Machinery, the American Association for the Advancement of Science, and the American Academy of Arts and Sciences. He received several awards such as Turing award in 1976, and National Medal of Science in 2018.
— ChatGPT
Dana Scott on Cloud Computing
In a public lecture, Prof. Scott expressed his opinion on Cloud Computing[1][2].
Antedocdo Events
Scott: Some times I hate computers
Prof. Scott literally said the following setence:
"Sometimes I hate computers"[3]
This is obviously a funny statement from a person like him.
Publications by Scott
| Content Link |
|---|
| Paper/Outline of a Mathematical Theory of Computation |
References
- ↑ Scott, Dana (Oct 12, 2017). Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017. local page: LambdaConf.
- ↑ Scott commented on Cloud Computing
- ↑ Scott hates computers