View comments

Leave comment

Is it possible to build software so that you know that it is correct? How could this be done? Has anyone tried? What would it cost?

This lecture discusses the Tokeneer experiment conducted by the US National Security Agency, and casts some light on these questions.

Lecture Date: Tuesday, 2nd May 2017 – 6:00pm at The Museum of London, 150 London Wall, London, EC2Y 5HN