Kvantberäkningsteknik och simulering

Kvantberäkning och kvantsimulering studerar hur kvantmekaniska principer kan användas för att bearbeta information och modellera kvantsystem. Tillsammans utgör de en grund för framtida kvantteknik.

Beskrivning

Kvantberäkning och kvantsimulering studerar hur kvantmekaniska principer kan användas för att bearbeta information och modellera kvantsystem. Tillsammans utgör de en grund för framtida kvantteknik.

Forskningen inom kvantberäkning vid institutionen omfattar utveckling av algoritmer, programmeringsspråk, verifieringstekniker och system för kvantinformationsbehandling, med tonvikt på korrekthet, skalbarhet och mjukvarugrunder och programvaruarkitektur.

Forskning inom kvantsimulering utvecklar beräknings- och numeriska metoder för att analysera kvantdynamik, inklusive mångkroppssystem och öppna kvantsystem. Dessa metoder är viktiga både för att främja grundläggande förståelse och för att stödja utvecklingen och valideringen av kvantmaskinvara.

Tillsammans kopplar detta forskningsområde samman datavetenskap med fysik, matematik och högpresterande databehandling, och stöder både teoretiska framsteg och praktiska utveckling inom kvantteknik.

  • Kvantprogramverifiering (QPV): att resonera om korrektheten hos kvantalgoritmer och kvantkretsar med hjälp av formella metoder från automatateori och logik.
  • Kvantnumeriska metoder (QNM): utveckling av effektiva numeriska och simuleringsbaserade tekniker för analys av kvantdynamik, inklusive mångkroppssystem och öppna kvantsystem, med tonvikt på högdimensionella simuleringar och högpresterande databehandling.

  • 1DL705: Kvantprogrammering (under kurskoden Öppen fördjupningskurs i datavetenskap) (5 hp): QCS