Gruppen for programutviklingsteknologi forsker på begrepsapparatet som er grunnlaget for programmering, og på hvordan dette begrepsapparatet påvirker programmeringsprosessen. I denne forskningen ser gruppen på semantikk til programmeringsspråk, programmeringsteknologier, og eksperimenterer med språk og ulike verktøy som støtter opp under programmering. En vesentlig del gjør bruk av algebraiske metoder, men logikk og typeteori blir også benyttet. Noen av aktivitetene er rettet mot problemstillinger som parallellprosessering innebærer.