We program computers since over 50 years. Still, we are - sad but true - used to insecure, crashing, or otherwise non-working computer systems. Gerald Weinberg, an American computer scientist, once said: “If builders built buildings the way programmers wrote programs, then the first woodpecker that came along would destroy civilization.”

Is building correct and secure programs really so hard that humans cannot master this tasks or are we just careless when implementing programs? I will discuss this question next week in my Pint of Science talk in Sheffield.

Interested? See you on the 16th of May 2018 at 7:30 pm, in The Millowner’s Arms (Sheffield Industrial Museums Trust, Kelham Island Museum, Alma Street, S3 8RY).