Vi lever efterhånden i et gennemdigitaliseret samfund, hvor software ikke bare findes i computere, men også styrer stort set alting omkring os – lige fra opvaskemaskiner over trafiklys til hele vores elnet.
Men hvordan kan vi stole på, at de digitale systemer gør, som de skal, så vi ikke pludselig mørklægger hele hovedstadsområdet, eller bilen laver en katastrofeopbremsning helt af sig selv?
Professor Kim Guldstrand Larsen fra Aalborg Universitet har i en årrække arbejdet både med at optimere anvendelsen af avanceret software til at styre vores infrastruktur og med at lave systemer, som vi kan "stole på”. Og det er en indsats, der rækker helt tilbage til den engelske pioner Alan Turing.

Produceret af PodLAB for Det Kongelige Danske Videnskabernes Selskab
Vært: Kristoffer Frøkjær
Medvirkende: Professor Kim Guldstrand Larsen, Institut for Datalogi, Aalborg Universitet
Tilrettelæggelse, optagelse og redigering: Anders Høeg Nissen
Speak: Rikke Reinholdt Petersen
Musik: Carl Frøkjær-Jensen