Axel Ljungström är årets Sigrid Arrhenius-stipendiat

Områdesnämnden för naturvetenskap vid Stockholms universitet har utsett mottagare av 2025 års stipendium ur Sigrid Arrhenius stipendiefond. Stipendiet har karaktären av pris för ett framstående forskningsarbete som leder fram till doktorsexamen. Stipendiaten får i år 90.000 kronor.

Årets stipendiat är Axel Ljungström, 29 år, doktorand vid Matematiska institutionen.

Axel Ljungström har disputerat med avhandlingen Synthetic approaches to cohomology, homology and homotopy.

Man med ljust kortklippt hår och blåvitrandig skjorta

Axel Ljungström, doktorand vid Matematiska institutionen. Foto: Privat

Axel Ljungströms avhandling är inom homotopi-typteori (HoTT), ett nytt forskningsfält som förenklar datorverifiering av abstrakt matematik. Axels avhandling innehåller datorverifieringar och generaliseringar av flera klassiska resultat från topologi. Det mest uppmärksammade resultatet är en omformulering av det så kallade "Brunerie-talet". Trots att matematiker bevisat att talet måste vara 2 hade ingen lyckats få en dator att beräkna det åt dem, inte ens med hjälp av superdatorer. Genom Axels omformulering kunde bevisassistenten Cubical Agda beräkna talet på bara några sekunder, vilket möjliggjorde för Axel att förenkla många långa och komplexa bevis i HoTT så att de blir lättare för både människor och datorer att förstå.

Tema

Matematik och statistik

Senast uppdaterad: 3 juli 2025

Sidansvarig: Områdeskansliet för naturvetenskap

eventNewsArticle

standard-article

false

{
  "dimensions": [
    {
      "id": "department.categorydimension.subject",
      "name": "Global categories",
      "enumerable": true,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "department.categorydimension.tag.Keywords",
      "name": "Keywords",
      "enumerable": false,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "department.categorydimension.tag.Person",
      "name": "Person",
      "enumerable": false,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "department.categorydimension.tag.Tag",
      "name": "Tag",
      "enumerable": false,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "localcategorytree.su.se",
      "name": "Lokala kategorier för www.su.se",
      "enumerable": true,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "webb2021.categorydimension.Category",
      "name": "News Category (Webb 2021)",
      "enumerable": true,
      "entities": [
        {
          "id": "webb2021.categorydimension.Category.forskning_nyheter",
          "name": "Forskning",
          "entities": [],
          "attributes": [],
          "childrenOmitted": false,
          "localizations": {}
        },
        {
          "id": "webb2021.categorydimension.Category.om_oss_nyheter",
          "name": "Om universitetet",
          "entities": [],
          "attributes": [],
          "childrenOmitted": false,
          "localizations": {}
        }
      ],
      "localizations": {}
    },
    {
      "id": "webb2021.categorydimension.Label",
      "name": "Etiketter (Webb 2021)",
      "enumerable": true,
      "entities": [
        {
          "id": "webb2021.categorydimension.Label.Mattestatistik",
          "name": "Matematik och statistik",
          "entities": [],
          "attributes": [],
          "childrenOmitted": false,
          "localizations": {}
        }
      ],
      "localizations": {}
    },
    {
      "id": "webb2021.categorydimension.Label.en",
      "name": "Labels (Webb 2021)",
      "enumerable": true,
      "entities": [],
      "localizations": {}
    },
    {
      "id": "webb2021.categorydimension.Keyword",
      "name": "Keywords (Webb 2021)",
      "enumerable": false,
      "entities": [],
      "localizations": {}
    }
  ]
}