Programutviklingsteori

Forsknings-
grupper

Gruppa for programutviklingsteknologi forskar på omgrepsapparatet som er grunnlaget for programmering og korleis dette omgrepsapparatet påverkar programmeringsprosessen. I denne forskinga ser gruppa på semantikk til programmeringsspråk, programmeringsteknologiar, og ho eksperimenterer med språk og ulike verktøy som støttar oppunder programmering. Ein vesentleg del gjer bruk av algebraiske metodar, men logikk og typeteori vert også nytta. Noko av aktiviteten er retta mot problemstillingar som parallellprosessering inneber.

Studere programutviklingsteori ved UiB

Relaterte lenker