Robin Kaarsgaard Sales

Projekttitel

FunQ: Quantum Programming Beyond the Circuit Model

Hvad handler dit projekt om?

Kvanteberegning har et enormt potentiale indenfor områder som cybersikkerhed, optimering, og simulering af fysiske systemer. For at udnytte dette potentiale bliver vi dog nødt til at benytte programmeringssprog specifikt til kvantecomputere. Desvære ligner nuværende programmeringssprog til programmering af kvantecomputere mest af alt dem, der fandtes i den klassiske computers barndom, hvor kun nørder som jeg selv besad den ekspertviden det krævedes, at programmere dem. Dette forskningsprojekt omhandler udviklingen af programmeringssprog til kvantecomputere, der tillader brugere at beskrive beregninger på et konceptuelt niveau – præcis som vi kender det fra moderne programmeringssprog.

Hvordan opstod din interesse for dit forskningsfelt?

Jeg har været interesseret i programmering siden jeg var 9-10 år, så at jeg endte med at beskæftige mig med netop programmeringssprog, er nok ikke den store overraskelse. Jeg blev interesseret i kvanteberegning ved at lære om noget helt andet, nemlig den gren af matematikken, der hedder kategoriteori, takket være et ph.d.-kursus om emnet, som Rasmus Møgelberg (professor i datalogi på IT Universitet i København) tilfældigvis afholdt på andet år af min kandidat. Kategoriteori var en kæmpestor øjenåbner for mig, og det har om noget formet, hvordan jeg tænker på beregning, herunder kvanteberegning.

Hvad er de forskningsmæssige udfordringer og perspektiver ved dit projekt?

Klassisk beregning kan vi beskrive gennem beregningsmæssige abstraktioner - en slags "urberegninger" - der ikke kræver af os, at vi beskriver præcis den maskine, de udføres på, hvordan data præcis repræsenteres og manipuleres under beregningen, og så fremdeles. Det giver en måde at beskrive beregninger på uafhængigt af computeren, der beregner dem. Vi har endnu ikke beregningsmæssige abstraktioner til at beskrive kvanteberegning på samme måde - det betyder, at vi må beskrive dem på en meget konkret og maskinnær måde, hvilket ofte er meget fjernt fra den måde, vi som mennesker tænker konceptuelt om beregning. Mit projekt handler om at udvikle sådanne beregningsmæssige abstraktioner til kvanteberegninger og det matematiske fundament, der ligger under dem.

Hvilke perspektiver vurderer du selv, at din forskning på sigt kan have for det omgivende samfund?

Takket være en masse forskning og udvikling i programmeringssprog siden computerens tidlige barndom - bl.a. af den danske pionér Peter Naur - har vi nu moderne programmeringssprog, hvor det ikke kræver meget andet end interessen at lære at programmere. Det ultimative mål med min forskning i kvanteprogrammeringssprog er at gøre det muligt for eksperter fra radikalt andre felter (om det så er farmaceutisk kemi, materialevidenskab eller kvantitativ sociologi) at benytte kvanteberegning i deres arbejde.

Hvad vil det betyde for din forskerkarriere, at du indgår i Sapere Aude-programmet?

Det er et enormt privilegium og en kæmpestor anerkendelse af min forskning og mit forskningsområde at modtage en Sapere Aude: DFF-Forskningsleder-bevilling. Sapere Aude-bevillingen sætter mig i stand til at starte min egen forskningsgruppe og endelig få prøvet en masse af de idéer af, som jeg har udviklet over de sidste par år i samarbejde med talentfulde yngre forskere og mine udenlandske samarbejdspartnere. Jeg glæder mig også meget til at benytte resultaterne af dette projekt i undervisningen af fremtidens kvantedataloger.

Lidt om mennesket bag forskeren

Jeg er født og opvokset udenfor Svendborg, og efter at have boet i København og Edinburgh bor jeg nu i Svendborg, hvilket er fedt, men også meget overraskende for mig. Jeg er gift og har to små døtre og en kat. I min fritid elsker jeg at bruge tid med min familie, lave mad og spille nørdede kortspil med mine venner. Faktisk har jeg en helt særlig evne til at kunne nørde stort set hvad som helst, særligt hvis det kan indtages – øl, (natur)vin, kaffe, etc.