Forskningsgrupper
Data og kunnskapssystemer (DKM)
DKM bruker matematiske og logiske metoder for å løse komplekse problemer i virkeligheten, ved å lage nøyaktige modeller, analysere dem, og bruke dem til å styre programvaresystemer.
Programmeringsteknologi (PT)
PT arbeider med verktøy og programmeringsspråk som utgjør det teknologiske fundamentet for IT-systemer.
Pålitelige systemer (PSY)
PSY bruker matematiske metoder for å utvikle programvare som fungerer som spesifisert og er feilfri.
Software engineering (SE)
SE fokuserer på metoder og teknikker for at utviklingsteam skal kunne lage IT-systemer med kvalitet innenfor gitte kostnads- og tidsrammer.
Undervisning i IT (ITU)
ITU forsker på hvordan man best mulig underviser i programmering og andre IT-aspekter både i skolen og i høyere utdanning.