Home » Alan Turing Lecture - The Entscheidungsproblem, revisited.

Alan Turing Lecture - The Entscheidungsproblem, revisited.

Speaker: Professor Byron Cook

Hybrid Event Recorded on 28th April 2023

Abstract: While attempting to prove or disprove Hilbert’s 1928 Entscheidungsproblem (“decision problem”) challenge, Frank Ramsey (Kings) proved Ramsey’s theorem, and Alan Turing (Kings) developed the concept of Turing machines. In 2005, both Ramsey and Turing’s work was combined to do something important that we couldn’t do before: reason symbolically about the relationships between future temporal events in complex computer systems. This work has gone on to produce important practical breakthroughs in a variety of areas (e.g. cloud security, transportation safety, biology, etc). This lecture will tell that story. The story will be (largely) aimed at a general audience.

Speaker: Byron Cook is Professor of Computer Science at University College London (UCL) and VP/Distinguished Scientist at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, hardware, operating systems, biological systems, programming languages, theorem proving and logic. Byron is the founder of Amazon’s Automated Reasoning Group (ARG)

More Events
Alumni are encouraged to stay involved with the life of the College however they can, and many generously donate their time and expertise.
icon_address
Stay connected with the College by updating your details and getting in contact with long-lost contemporaries.
gift_icon
We welcome donations of all sizes to important causes such as our access programme, graduate scholarships or our renowned Chapel and Choir.
icon_open
The College grounds are currently closed to alumni but the Chapel is open to visitors with a timed ticket.