Axel Ljungström får Högskoleföreningens pris

Utdrag ur beslutsformulering: Axel Ljungströms avhandling i beräkningsmatematik behandlar centrala problem inom homotopi-typteori, ett framväxande forskningsområde i gränslandet mellan matematik och datalogi. Avhandlingen innehåller flera originella resultat, däribland lösningar på tidigare öppna problem, och introducerar nya verktyg för att utföra matematiska resonemang med datorstöd. Dessa metoder har viktiga tillämpningar inom bland annat verifiering av mjukvara och matematiska bevis, och är särskilt relevanta i ljuset av den snabba utvecklingen inom artificiell intelligens.

Arbetet håller mycket hög internationell kvalitet och utmärks av både originalitet och en klar och pedagogisk framställning.

Även Aida Jobarteh vid Institutionen för etnologi religionshistoria (Humanistiska fakulteten) och Enes Al Weswasi vid Kriminologiska institutionen (Samhällsvetenskapliga fakulteten) får var sitt pris.

Högskoleföreningen

Högskoleföreningen är Stockholms universitets vänförening och bildades i oktober 1869.

Varje år delar föreningen ut ett pris för den mest framstående doktorsavhandlingen inom den humanistiska, den samhällsvetenskapliga och den naturvetenskapliga fakulteten vid Stockholms universitet. Vart fjärde år delas motsvarande pris ut för doktorsavhandling vid den juridiska fakulteten.

Läs mer om priserna.