Why are computers so @#!*, and what can we do about it?

A talk from EMF 2014 by Peter Sewell

On Sunday August 31, 2014 at in Stage B

Computers have become ubiquitous and essential, but they remain massively error-prone and insecure - as if we were back in the early days of the industrial revolution, with steam engines exploding left, right, and centre. Why is this, and can we do better?

Video

View this video on YouTube.