Programme structure

From 2013, there will be no study options, but you can choose between four specializations:

• Distributed systems
• Logic
• Software

The programme option Software, language, logic offers both a 60 credits thesis and a 30 credits theiss.

Choice of thesis and curriculum (60 or 30 ECTS) is made in accordance with the supervisor.

Relevant courses for Software, languages, logic

• INF3110 ¨C Programming Languages (continued)
• INF4130 ¨C Algoritmer: Design og effektivitet (discontinued)
• INF4140 ¨C Models of concurrency (continued)
• INF4151 ¨C Operating systems (continued)
• INF4290 ¨C Software verification and validation (discontinued)
• INF5013NSA ¨C Cyberethics (discontinued)
• INF5063 ¨C Programming heterogeneous multi-core architectures (continued)
• INF5110 ¨C Kompilatorteknikk (continued)
• INF5120 ¨C Model Based System Development (discontinued)
• INF5130 ¨C Selected topics of rewriting logic (continued)
• INF5140 ¨C Specification and verification of parallel systems (continued)
• INF5150 ¨C Unassailable IT-systems (continued)
• INF5510 ¨C Distributed objects (continued)
• INF5750 ¨C Open Source Development (continued)
• INF5800 ¨C Topics in Logic (discontinued)
• INF5906 ¨C Selected topics in static analysis (continued)
• INF5160 ¨C Databehandlingsseminar (discontinued)
• INF5170 ¨C Master seminar in logic (discontinued)

List of all courses offered at the Department of Informatics

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