Avhandling i beräkningsmatematik tilldelas Högskoleföreningens pris

I avhandlingen introducerar Axel Ljungström nya verktyg för att utföra matematiska resonemang med datorstöd, metoder som har viktiga tillämpningar inom bland annat verifiering av mjukvara och matematiska bevis.

– Det är en stor ära såklart, det är jättekul! Det var många år av hårt arbete, så det känns väldigt fint att få en sådan utmärkelse, säger Axel Ljungström om att tilldelas Högskoleföreningens pris.

I gränslandet mellan datavetenskap och matematik

Axel Ljungströms forskningsområde ligger någonstans i gränslandet mellan teoretisk datavetenskap och matematik. För att kunna använda datorer till att kontrollera och verifiera matematiska bevis, måste matematiken översättas till ett språk, eller system, som en dator kan förstå. Detta har Axel Ljungström arbetat med i sin avhandling och dessutom visat med datorverifiering att bevisen är korrekta.

– Matematiker bevisar saker, det är vårt raison d'être. Men det kan komma in fel i matematiska bevis och ett litet fel kan få stora konsekvenser för framtida matematiska bevis, förklarar Axel Ljungström.

Om man kan använda datorer till att verifiera bevisen, så kan forskningsprocessen effektiviseras.

– När du tror att du har kommit på ett matematiskt bevis behöver du bara övertyga datorn om att det är korrekt, säger Axel Ljungström.

Återupptäckte matematiken i det nya språket

Att forska inom ett nytt forskningsområde är något av det Axel Ljungström har tyckt varit mest roligt och spännande i avhandlingsarbetet. Eftersom han jobbat i ett helt nytt matematiskt språk, behövde han lära om all matematik från början.

– Det var det som var roligt, att bara bli inkastad i en helt ny värld, med ett helt nytt matematiskt språk där allt såg helt annorlunda ut och inga regler man lärt sig funkar längre, berättar Axel Ljungström.

– Jag fick återupptäcka matematiken på nytt, i det här nya språket!

Ville tidigt bli forskare

Redan i gymnasiet visste Axel Ljungström att han ville forska på något område inom logiken. Men han visste inte om han ville göra det inom matematik, filosofi, eller lingvistik. På universitetet har Axel Ljungström studerat inom alla dessa ämnen och forskningsområdet rör sig i ett fält mellan matematik, datavetenskap och teoretisk filosofi.

Axel Ljungström disputerade den 21 maj 2025. Efter sin doktorsexamen har han fortsatt med forskningen, nu som postdok i data- och systemvetenskap, på School of Computer Science vid Nottingham University.

Mer om Axel Ljungströms forskning

Alla tre doktorsavhandlingar som fick Högskoleföreningens pris för framstående avhandling 2025