Matematiskt spel gör datorn säker
Att bordsdatorn kraschar kan vara nog så besvärligt, men om det drabbar de datorer som reglerar trafikljus eller flygplansroder blir konsekvenserna betydligt värre. Sven Sandberg har utvecklat metoder för att hitta vinnande strategier i spel, med vilkas hjälp det är möjligt att konstruera säkra programsystem. Han försvarar sin avhandling vid Uppsala universitet den 23 mars. Vid kontroll