Ifi research:  Precise modeling and analysis (PMA) Norsk

People  |  Research  |  Teaching  |  Master thesis

Precise modeling and analysis (PMA)

News

sneak preview of the upcoming new PMA web-pages

new PMA poster in print formats here

new EU FP7 project: HATS (starting spring 2009)

Courses fall 2009:
INF3110/4110 - Programming languages (taught with the OMS group)
INF4140/9140 - Models of concurrency
INF5130 - Selected topics of rewriting logic

Seminars fall 2009:
INF 5160 - computer science seminar (selected topics)


Open position:
4 year associate professor position, application deadline 7. October. For more information, see here here.
Postdoctocal research fellow, application deadline 11. October. For more information, see here here.

Award and grant:
Summer 2007: The PMA group has been strategically selected by the department and the university in recognition of its research initiatives. PMA has thus been awarded the status of special advancement and promotion (``Utviklingsmiljø'').

Conferences/Workshops arranged by 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 October, 2008: First Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'07 (Oslo, Norway).

 

The research group works with the following topics:

  • open distributed systems
  • object-oriented and functional languages
  • languages for specification and modeling
  • specification, modelling, refinement and verification
  • security and vulnerability
  • logic and automated deduction

The group was initiated by professor Ole-Johan Dahl (1931 - 2002).