Software vi kan stole på. Med professor Kim Guldstrand.

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 SelskabVært: Kristoffer FrøkjærMedvirkende: Professor Kim Guldstrand Larsen, Institut for Datalogi, Aalborg UniversitetTilrettelæggelse, optagelse og redigering: Anders Høeg NissenSpeak: Rikke Reinholdt PetersenMusik: Carl Frøkjær-Jensen