Kvantecomputere udviser markant anderledes adfærd end deres klassiske modstykker, hvilket nødvendiggør udviklingen af ny programmeringsteknologi til at udnytte deres potentiale, og samtidig sikre korrektheden af kvanteprogrammer samt optimere brugen af de i øjeblikket knappe kvanteberegningressourcer.
Vores gruppe arbejder med både teoretiske og praktiske aspekter af kvanteprogrammeringsteknologi, med særlig vægt på det matematiske fundament for kvanteprogrammeringssprog der danner grundlag for at garantere softwarekorrekthed. Vores samarbejder strækker sig internationalt, hvor Robin Kaarsgaard deltager som Co-Investigator i det EPSRC-finansierede projekt "Rubber DUQ: Fleksibel Dynamisk Universal Kvanteprogrammering," der ledes af Chris Heunen ved University of Edinburgh.
Kontakt
Se mere
Sektionen for Kunstig intelligens, Cybersikkerhed og programmeringssprog