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 Scott on Cloud Computing

In a public lecture, Prof. Scott expressed his opinion on Cloud Computing^[1]^[2].

Antedocdo Events

Prof. Scott literally said the following setence:

"Sometimes I hate computers"^[3]

This is obviously a funny statement from a person like him.

Content Link
Paper/Outline of a Mathematical Theory of Computation

Content Link
Video/Dana S. Scott Lambda Calculus, Then and Now
Video/Dana S. Scott: Seventy Years Using Fixed Points
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 3) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 4) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 5) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017
Video/Prof. Dana Scott - Geometry Without Points
Video/Stochastic Lambda-Calculus