Skip to content

Gresham College: Prof. Martyn Thomas, CBE – Living In A Cyber Enabled World – Correct by Construction


Living In A Cyber Enabled World was the title for a series of lectures Prof. Thomas gave at Gresham College.

About this lecture

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.


About this lecture series

An exploration of the state of software today, how we got to where we are, and what we shall need to do to shore up the foundations of a digital society that is increasingly built on sand. The lectures are designed to inform, to entertain, and to stimulate balanced discussions that lead to effective actions. It is hoped that these lectures may play a role in accelerating the transition of the craft of software development into a mature engineering profession.

A cautionary tale and an excellent lecture on a very important topic

Comments are closed.

%d bloggers like this: