Prof. David Harel on Alan Turing's Legacy: Transforming Computability, Biology, and AI 🤖

Harel briefly describes three of Turing's major achievements, in three different fields: computability, biological modeling and artificial intelligence. Interspersed with this, he explains how each of them directly motivated and inspired him to carry out a variety of research projects over a period of 30 years, the results of which can all be viewed humbly as extensions and generalisations of Turing's pioneering and ingenious insights.

Presented by Professor David Harel, Department of Computer Science and Applied Mathematics at Weizman Institute, Israel.

Recorded on Friday 11 May 2012 at the Informatics Forum, The University of Edinburgh.

The Turing Research Symposium was organised by the Royal Society of Edinburgh and the University of Edinburgh School of Informatics in partnership with SICSA and supported by Cambridge University Press.