Norwegian version of this page

Reliable systems (PSY)

Group picture (not all members present)

The research group works with the following topics:

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

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

The group initiated and hosted the honorary doctorate of Donald Knuth, awarded 2002.

For a collection of publications, see the Cristin data base, a central register for research results in Norway.

The group's name previously was PMA (precise modeling and analysis).

Tags: formal methods, security, privacy, safety, verification, specification, rewriting logic, computer science, semantics, distributed systems, concurrency, validation, object-orientation, cloud computing, multicore. software engineering, information security, rewriting logic, IoT, Creol
Published Nov. 9, 2010 10:47 AM - Last modified Oct. 26, 2021 9:38 PM