Buggar och bevis

För varje år som går blir vi mer beroende av datorer och att deras program gör vad de ska. Numera finns det datorer som gör så att bildörrarna låses upp och wifi-uppkoppling som får taklamporna att lysa. Men hur vet vi att de gör det de ska göra?

I den här föreläsningen får du veta mer om hur vi kan använda oss av matematik för att bygga buggfria program. En genomgång om varför saker ibland går snett, varför vi inte kan testa allt och hur vi i stället kan bevisa att våra datorer fungerar som de ska.

Medverkande:
Peter Backeman, postdoktor inom innovation och design.

Målgrupp för föreläsningen:
högstadieelver, gymnasieelever och studenter.

En del av Kunskapsfesten 2023 och ForskarFredag.