Presis modellering og analyse (PMA), Ifi, UiO

Ifi-forskning:  Presis modellering og analyse (PMA) English

Personer  |  Forskning  |  Undervisning  |  Masteroppgaver

Presis modellering og analyse (PMA)

Aktuelt

sneak preview of the upcoming new PMA web-pages

ny PMA plakat i stor format her

nytt EU FP7 prosjekt: HATS (fra våren 2009)

Kurs høsten 2009:
INF3110/4110 - Programmeringsspråk (undervises sammen med OMS-gruppen)
INF4140/9140 - Modeller for parallellitet
INF5130 - Utvalgte emner i omskrivningslogikk

Seminarer høsten 2009:
INF 5160 - Databehandling seminar

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

ledig stilling:
4 year associate professor position 7. Oktober. se her.
Postdoctocal research fellow, frist 11. Oktober. se her.

Ledig stillinger:
up-to 3 PhD positions + 2 post doc positions, starting from September eller senere.

Konferanse/Workshop arrangert av PMA:
24-25 September, 2009: Third Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'09 (Toledo, Spain).
November 2008: Second Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'08 (Malta).
9-10 Oktober, 2008: First Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'07 (Oslo, Norway).

 

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).