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 **Denne episode er en genudsendelse af episode 5, sæson 2, af podcasten Grundtanker.