4th HLF – Lecture: Sir Tony Hoare

Sir Tony Hoare: “A finite geometric representation of computer program behaviour”

Scientists often illustrate the behaviour of a dynamic system by a geometric diagram, in which one dimension represents the passage of time, and the other(s) represent distribution of objects in space. We develop a non-metric finite plane geometry as an intuitive representation of the behaviour of a computer program running on a modern distributed network of concurrent processors. Our hope is to prove a collection
of algebraic laws that are used for the implementation and optimisation of programs.

This video is also available on another stream:

The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

More information to the Heidelberg Laureate Forum: