Nettsider med emneord «modelling»

Publisert 22. jan. 2021 14:29
A stylized map of the world with logos interconnected by lines. DNB logo bottom right.
Publisert 1. juli 2020 13:26


In this thesis, you will investigate how semantic technologies, together with recent trends in software engineering, can help solve information architecture challenges of complex enterprises. You will put your ideas to the test on selected case studies in DNB.


Publisert 7. feb. 2020 12:57
Publisert 30. juli 2019 16:31

This project involves working together with the Nokia Bell Labs in Finland on verifying the security properties of applications that they build using TPM (Trusted Platform Module) or Intel SGX (Software Guard Extenssions).

Publisert 19. nov. 2018 14:44
Publisert 10. jan. 2018 16:11
Publisert 20. sep. 2017 18:43

This projects involves a cases study and analysis of human users of a modern information system, like IoT. This topic is at the border of computer science, psychology, cognitive sciences, and AI.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 25. aug. 2017 09:37

This is a general topic regarding the foundations of programming languages and their semantics. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some variant of Keene algebra, or a literature study, or doing modelling of real systems, or using existing tools for Kleene algebras like proof assistants, or doing mathematical proofs.

Ask for discussions with one of the supervisors, for more information or variations of the project.

Publisert 1. aug. 2017 10:27
Publisert 15. sep. 2016 12:53
Publisert 9. juni 2016 10:56

The work of Bjørnar Luteberget, Christian Johansen, and Martin Steffen (from PMA and ConSeRNS groups at IFI) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June.

Publisert 16. aug. 2015 21:30

"Modelling Tools and Programming languages for Internet of Things"

Publisert 16. aug. 2015 21:26

"Modelling Tools and Programming languages for Internet of Things"

Publisert 30. jan. 2015 12:20

After 3.5 years of interdiciplinary research the partners of the Sino-Norwegian bilateral research Project:

Watershed Eutrophication management in China through system oriented process modelling of Pressures, Impacts and Abatement actions

will present their findings and policy relevant recommandations.


The presentations will be given before lunch. After luch there will be arranged a visit to the water work that cleans the water re-routed fron the Yantze watercourse.

Publisert 11. nov. 2014 12:39

Mortality of pelagic eggs and larvae of marine fish is often assumed to be constant both in space and time due to lacking information. This may, however, be a gross oversimplification, as early life stages are likely to experience large variations in mortality both in time and space.

Publisert 11. feb. 2011 09:51

The Reliable Systems group PSY (formerly PMA) teaches the following courses: