Vores mobiltelefoner, autopiloter og hospitalsudstyr anvender alle avanceret software, men hvordan kan vi vide, at den software, som vi er blevet helt afhængig af, virker som den skal? Det kan vi ved hjælp af matematik. Matematiker og professor i computer science ved SDU Peter Schneider-Kamp forsker i, hvordan man kan bruge matematik til både at verificere og konstruere software. Og så har han lige efterprøvet verdens største matematiske bevis ved at bruge supercomputeren Abacus.
Du kan læse mere om Peter Schneider-Kamps forskning på : http://imada.sdu.dk/~petersk/
Læs mere om Supercomputing på https://vidensportal.deic.dk
The podcast Supercomputing i Danmark is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.