Supercomputing i Danmark

Supercomputer efterprøver verdens største matematiske bevis

Listen Later

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

...more
View all episodesView all episodes
Download on the App Store
Supercomputing i DanmarkBy DeIC (Danish e-Infrastructure Cooperation)