Programme structure
The master programme is a two year programme, consisting of a thesis and theoretical course work. The thesis is an independent scientific work, carried out under supervision.
You can choose between a long thesis (60 credits thesis, 60 credits course work) a short thesis (30 credits thesis, 90 credits course work).
All 4000- and 5000-courses are considered master level courses. Choice of thesis and curriculum is made in accordance to the programme option of your choice and together with your supervisor.
The programme is connected to several research groups. Note that the different research groups may have requirements to what courses you must have in your bachelor degree in order to write a thesis within their group.
- Distributed multimedia systems (DMMS)
- Logic and Intelligent Data (LogID)
- Networks and distributed systems (ND)
- Object orientation, modeling and languages (OMS)
- Precise modeling and analysis (PMA)
- Global Infrastructures (GI)
- UNIK
Specialisations:
Based on your background, you can choose between one or more of the following spezialisations:
- Software deals with all aspects of programming in theory and practice, from system modeling and formal specifications to actual implementation using various
programming languages. - Distributed systems focuses on utilizing networks, from concurrent processes inside acomputer to world-wide cooperating systems using the Internet
- Logic
Long master thesis
| 4. semester | Thesis work | |||||||||||||||||||||||||||||
| 3. semester | Master courses | Thesis work | ||||||||||||||||||||||||||||
| 2. semester | Master courses | Thesis work | ||||||||||||||||||||||||||||
| 1. semester | Master courses | |||||||||||||||||||||||||||||
| 10 ECTS credits | 10 ECTS credits | 10 ECTS credits | ||||||||||||||||||||||||||||
Short master thesis
| 4. semester | Thesis | |||||||||||||||||||||||||||||
| 3. semester | Master courses | |||||||||||||||||||||||||||||
| 2. semester | Master courses | |||||||||||||||||||||||||||||
| 1. semester | Master courses | |||||||||||||||||||||||||||||
| 10 ECTS credits | 10 ECTS credits | 10 ECTS credits | ||||||||||||||||||||||||||||
Choice of thesis and theoretical curriculum is made in collaboration with your supervisor. This choice also determines the specialization of the study.
Relevant courses for Distributed systems
Autumn courses:
- INF5040 - Open distributed processing
- INF5063 - Programming heterogeneous multi-core architectures
- INF5100 - Advanced database systems
Spring courses:
- INF4151 - Operating systems
- INF5050 - Protocols and routing in the internet
- INF5090 - Advanced topics in distributed systems
- INF5360 - Seminar on dependable and adaptive distributed systems
- INF5370 - Distributed technologies for social networks
- INF5510 - Distributed objects
Relevant courses for Logic
Autumn courses:
Spring courses:
- INF5170 - Master seminar in logic
- New course: Master seminar in Logic (INF5350)
- INF4580 - Semantic technologies
Relevant courses for Software
Autumn courses:
- INF3110 - Programming languages
- INF4130 - Algoritmer: Design og effektivitet
- INF4140 - Models of concurrency
- INF5063 - Programming heterogeneous multi-core architectures
- INF5130 - Selected topics of rewriting logic
- INF5150 - Unassailable IT-systems
- INF5160 - Databehandling seminar
- INF5170 - Master seminar in logic
- INF5181 - Process improvement and agile methods in systems development
- INF5210 - Information infrastructure
- INF5520 - Estimation and planning of software projects
- INF5580 - Master seminar in information systems
- INF5750 - Open source software development
- INF5780 - Open source, open collaboration and innovation
Spring courses:
- INF4151 - Operating systems
- INF4231 (from spring 2013)
- INF5013NSA - Cyberethics
- INF5110 - Kompilatorteknikk
- INF5120 - Model based system development
- INF5140 - Specification and verification of parallel systems
- INF5510 - Distributed objects
- INF5571 - Action Research Workshop
- INF5761 - Health management information systems
- INF5800 - Emner i logikk
- INF5890 - IT og ledelse
- INF5906 - Selected topics in static analysis
List of all courses offered at the Department of Informatics