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.

Den här programpunkten kommer också livesändas via Kunskapsfestens Youtube-kanal.

Medverkande

Peter Backeman, postdoktor inom innovation och design.

2022 vann Peter Backeman Mälardalens universitets deltävling i Forskar Grand Prix och tävlade i riksfinalen. Se hans bidrag här!

Målgrupp

Högstadieelver, gymnasieelever och studenter.

Tid

Fredagen den 29 september, kl. 09:00-09:45

Anmälan

Fri entré. Pedagog med klass bokar via länken, senast den 20 augusti. Antalet platser är begränsat.

Plats

Mälardalens universitet, Campus Eskilstuna

Den här programpunkten kommer också livesändas via Kunskapsfestens Youtube-kanal.

Kontakt

Allmänna frågor

[email protected]

Skolkontakt

Johanna Rosell
ansvarig för skolprogrammet under Kunskapsfesten
[email protected]

Arrangör

Kunskapsfesten i samarbete med Mälardalens universitet

Läs mer om programpunkten och Kunskapsfesten.