Presis modellering og analyse (PMA)

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.

Du kan lese mer om PMA på de engelske sidene