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. At least 30 credits must be from the program structure.
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)
- Networks and distributed systems (ND)
- Programmering og Software Enginering (PSE)
- Precise modeling and analysis (PMA)
- Logic and Intelligent Data (LogID)
- Wireless Networks and Security (WNaS)
Specializations:
Based on your background, you can choose between one or more of the following specializations:
- Distributed systems and networks focuses on utilizing networks, from concurrent processes inside acomputer to world-wide cooperating systems using the Internet
- Software deals with all aspects of programming in theory and practice, from system modeling and formal specifications to actual implementation using various
programming languages. - Logic uses computers to solve difficult problems such as automatic reasoning about languages or very large amounts of data.
- Information security deals with how information systems can withstand - and deal with both accidental mishaps and intentional attacks.
It is also possible to combine areas of specialization.
Note that some of specialized courses require that you have particular bachelor courses as a prerequisite.
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 and networks
Autumn courses:
- INF5040 – Open distributed processing (continued) (ND)
- INF5063 – Programming heterogeneous multi-core architectures (continued) (ND)
- INF5100 – Advanced database systems (continued) (DMMS)
- INF5090 – The Future Internet Protocols (continued) (DMMS)
Spring courses:
- INF4232 – Logic for System Analysis (continued) (PMA)
- INF4151 – Operating systems (continued) (DMMS)
- INF5050 – Protocols and routing in the internet (continued) (ND)
- INF5072 – Performance in Distributed Systems (continued) (ND)
- INF5360 – Seminar on dependable and adaptive distributed systems (discontinued) (ND)
- INF5370 – Distributed technologies for social networks (discontinued) (ND)
- INF5510 – Distributed objects (continued) (PSE)
- INF5870 – Energy Informatics (continued) (ND)
- UNIK4250 – Security in distributed systems (continued)
Relevant courses for Software
Autumn courses:
- INF3110 – Programming Languages (continued) (PSE, PMA)
- INF4130 – Algoritmer: Design og effektivitet (discontinued) (PSE)
- INF4140 – Models of concurrency (continued) (PMA)
- INF5063 – Programming heterogeneous multi-core architectures (continued) (ND)
- INF5130 – Selected topics of rewriting logic (continued) (PMA)
- INF5150 – Unassailable IT-systems (continued) (PSE)
- INF5170 – Master seminar in logic (discontinued) (LogID)
- INF5181 – Process improvement and agile methods in systems development (continued) (PSE)
- INF5210 – Information infrastructure (continued) (IS)
- INF5520 – Estimation and planning of software projects (discontinued) (IS)
- INF5750 – Open Source Development (continued) (IS)
- INF5800 – Topics in Logic (discontinued) (LogID)
Spring courses:
- INF4121 – Software Testing (continued) (PSE)
- INF4151 – Operating systems (continued) (DMMS)
- INF5110 – Kompilatorteknikk (continued) (PSE)
- INF5120 – Model Based System Development (discontinued) (PSE)
- INF5140 – Specification and verification of parallel systems (continued) (PMA)
- INF5170 – Master seminar in logic (discontinued) (LogID)
- INF5510 – Distributed objects (continued) (PSE)
- INF5571 – Action Research Workshop (continued) (IS)
- INF5761 – Health Management Information Systems (continued) (IS)
- INF5890 – IT and Management (continued) (IS)
- INF5906 – Selected topics in static analysis (continued) (PMA)
Relevant courses for Logic
Autumn courses:
- INF4171 – Logic (continued) (LogID)
- INF5130 – Selected topics of rewriting logic (continued) (PMA)
- INF5170 – Master seminar in logic (discontinued) (LogID)
- INF5800 – Topics in Logic (discontinued) (LogID)
Spring courses:
- INF4232 – Logic for System Analysis (continued) (PMA)
- INF4580 – Semantic technologies (continued) (LogID)
- INF5170 – Master seminar in logic (discontinued) (LogID)
- INF5840 – Computability theory (continued) (LogID)
- INF5906 – Selected topics in static analysis (continued) (PMA)
Relevant courses for Information Security
Autumn courses:
- UNIK4220 – Introduction to Cryptography (continued)
- UNIK4270 – Security in Operating Systems and Software (continued)
- UNIK4740 – Information Security in Industrial Sensor and Mobile Systems (continued)
- INF5150 – Unassailable IT-systems (continued) (PSE)
Spring courses:
- INF4232 – Logic for System Analysis (continued) (PMA)
- UNIK4250 – Security in distributed systems (continued)
List of all courses offered at the Department of Informatics
Recognition of Master courses from former education
If you are admitted to the Masters Programme and you have completed Master courses outside the University of Oslo, you may apply to have these courses recognised as part of your degree. Please contact the Department of Informatics for more information.
Diploma and degree
This programme leads to the following degree: Master of Science in Informatics: programming and networks