(For oppdatert informasjon se siden på engelsk.)
Forskningsgruppen arbeider med følgende tema:
- åpne distribuerte systemer
- trådløse nettverk, inklusive sensor nettverk
- objektorienterte og funksjonelle språk
- språk for spesifikasjon og modellering
- spesifikasjon, modellering, forfining og verifikasjon
- sikkerhet og sårbarhet
- logikk og automatisk bevissøk
Gruppen var initiert av professor Ole-Johan Dahl
Gruppen tok initiativet til og var vert for tildeling av æresdoktor til Donald Knuth, 2002.