3 Presis modellering og analyse (PMA), Ifi, UiO

Presis modellering og analyse (PMA)

Aktuelt

Kurs våren 2008:
INF 3230/4230 - Formell modellering og analyse av kommuniserende systemer
INF 5906 - Utvalgte emner i statisk analyse

Seminarer våren 2008:
INF 5160 - Databehandling


Oktober 2007:
PMA er utnevnt til ``Utviklingsmiljø'' (juni 07). Dette innebærer støtte bl.a. i form av stipendiatstillinger.

Ledig stillinger:
PhD stilling (4 årig) + PhD stilling (3 årig).

Konferanse/Workshop arrangert av PMA:
Oktober 2007. NWPT'07. NWPT samlokaliseres med to nye workshop: en om formalisering av kontrakter for tjenester på Internett (FLACOS), og en om sikkerhet (NODES).

 

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 ble initiert av professor Ole-Johan Dahl (1931 - 2002).