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
…Read more
Less…