Hajautetun laskennan teoriaa kehitettiin alkujaan erityisesti Internetin kaltaisissa laajoissa tietokoneverkoissa tehtävän laskennan ymmärtämiseksi. Viime vuosina tälle teorialle on kuitenkin tullut yhä uusia käyttökohteita, kun on havaittu esim. suoria yhteyksiä hajautetun laskennan ja eri matematiikan osa-alueiden välillä. Hajautetun laskennan teoriaa käytetään myös esimerkiksi kvanttilaskennan rajojen tutkimisessa. Tässä projektissa kehitetään uutta, entistä tukevampaa perustaa hajautetun laskennan teorialle. Projektin tavoitteena on tuottaa tuloksia, joita voidaan aiempaa helpommin soveltaa myös uusissa tilanteissa. Tavoitteena on myös tehdä keskeisistä tuloksista aiempaa luotettavampia: tässä hyödynnetään mm. matemaattisia todistuksia, jotka on kirjoitettu sellaisessa muodossa, että ne voi tarkistaa automaattisesti tietokoneella.

2024

2028