Oppbygging og gjennomføring
Masterprogrammet er to-årig og består av en masteroppgave og teoretisk emnearbeid. Masteroppgaven er et selvstendig forskningsarbeid som skal utføres under veiledning.
Du kan velge enten mellom en lang masteroppgave (60 studiepoeng oppgave, 60 studiepoeng emner), eller en kort masteroppgave (30 studiepoeng oppgave, 90 studiepoeng emner).
Alle emner på 4000- og 5000-nivå regnes som masteremner. Masteremnene velges i forhold til din valgte spesialisering og i samråd med veileder. Minst 30 studiepoeng må være fra oppbygging og gjennomføring.
Programmet har tilknytning til flere forskningsgrupper. Merk at de forskjellige forskningsgruppene kan ha ulike krav til hvilke kurs du må ha i din bachelorgrad, for at du skal kunne skrive en masteroppgave med tilknytning til deres gruppe.
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)
Spesialiseringer
Masterprogrammet i Informatikk: programmering og nettverk tilbyr spesialisering innenfor fire ulike områder. Avhengig av hvilke emner du har valgt på bachelornivå, kan du velge en spesialisering innenfor områdene:
- Distribuerte systemer og nettverk fokuserer på bruk av nettverk. Alt fra sammenfallende prosesser inni en datamaskin til verdens omspennende samarbeidende systemer som bruker internett.
- Software dekker alle aspekter ved programmering i både teori og praksis. Alt fra systemmodellering og formelle spesifikasjoner til implementering ved bruk av forskjellige programmeringsspråk.
- Logikk fokuserer på hvordan datamaskiner brukes til å løse vanskelige problemer som automatisk resonnement om språk eller svært store mengder data.
- Informasjonssikkerhet handler om hvordan informasjonssystemer kan tåle og håndtere både utilsiktede uhell og bevisst angrep.
Det er også mulig å sette sammen en spesialisering selv.
Lang masteroppgave
| 4. semester | Masteroppgave | |||||||||||||||||||||||||||||
| 3. semester | Masteremne | Masteroppgave | ||||||||||||||||||||||||||||
| 2. semester | Masteremne | Masteremne | Masteroppgave | |||||||||||||||||||||||||||
| 1. semester | Masteremne | Masteremne | Masteremne | |||||||||||||||||||||||||||
| 10 studiepoeng | 10 studiepoeng | 10 studiepoeng | ||||||||||||||||||||||||||||
Kort masteroppgave
| 4. semester | Masteroppgave | |||||||||||||||||||||||||||||
| 3. semester | Masteremner | |||||||||||||||||||||||||||||
| 2. semester | Masteremner | |||||||||||||||||||||||||||||
| 1. semester | Masteremner | |||||||||||||||||||||||||||||
| 10 studiepoeng | 10 studiepoeng | 10 studiepoeng | ||||||||||||||||||||||||||||
Relevante emner for Distribuerte systemer og nettverk
Høstemner:
- INF5040 – Åpen distribuert prosessering (videreført) (ND)
- INF5063 – Programming heterogeneous multi-core architectures (videreført) (ND)
- INF5100 – Avanserte databasesystemer (videreført) (DMMS)
- INF5090 – The Future Internet Protocols (videreført) (DMMS)
Våremner:
- INF4151 – Operativsystemer (videreført) (DMMS)
- INF4232 – Logikk for systemanalyse (videreført) (PMA)
- INF4231 – Formell modellering og analyse av kommuniserende systemer (videreført) (PMA)
- INF5050 – Protokoller og ruting i Internett (videreført) (ND)
- INF5072 – Performance in Distributed Systems (videreført) (ND)
- INF5360 – Seminar on dependable and adaptive distributed systems (nedlagt) (ND)
- INF5370 – Distributed technologies for social networks (nedlagt) (ND)
- INF5510 – Distribuerte Objekter (videreført) (PSE)
- INF5870 – Energiinformatikk (videreført) (ND)
- UNIK4250 – Sikkerhet i distribuerte systemer (videreført)
Relevante emner for Software
Høstemner:
- INF3110 – Programmeringsspråk (videreført) (PSE, PMA)
- INF4130 – Algoritmer: Design og effektivitet (nedlagt) (PSE)
- INF4140 – Modeller for parallellitet (videreført) (PMA)
- INF5063 – Programming heterogeneous multi-core architectures (videreført) (ND)
- INF5130 – Utvalgte emner i omskrivningslogikk (videreført) (PMA)
- INF5150 – Uangripelige IT-systemer (videreført) (PSE)
- INF5170 – Masterseminar i logikk (nedlagt) (LogID)
- INF5181 – Prosessforbedring og smidige metoder i systemutvikling (videreført) (PSE)
- INF5210 – Informasjonsinfrastruktur (videreført) (IS)
- INF5520 – Ressursestimering, usikkerhetsvurdering, planlegging og budsjettering av it-prosjekter (nedlagt) (IS)
- INF5750 – Open Source Development (videreført) (IS)
- INF5800 – Emner i logikk (nedlagt) (LogID)
Våremner:
- INF4121 – Software Testing (videreført) (PSE)
- INF4151 – Operativsystemer (videreført) (DMMS)
- INF4231 – Formell modellering og analyse av kommuniserende systemer (videreført) (PMA)
- INF4232 – Logikk for systemanalyse (videreført) (PMA)
- INF5110 – Kompilatorteknikk (videreført) (PSE)
- INF5120 – Modellbasert systemutvikling (nedlagt) (PSE)
- INF5140 – Kravspesifikasjon og verifikasjon av parallelle systemer (videreført) (PMA)
- INF5170 – Masterseminar i logikk (nedlagt) (LogID)
- INF5510 – Distribuerte Objekter (videreført) (PSE)
- INF5571 – Seminar i aksjonsforskning (videreført) (IS)
- INF5761 – Health Management Information Systems (videreført) (IS)
- INF5890 – IT og ledelse (videreført) (IS)
- INF5906 – Selected topics in static analysis (videreført) (PMA)
Relevante emner for Logikk
Høstemner:
- INF4171 – Logikk (videreført) (LogID)
- INF5130 – Utvalgte emner i omskrivningslogikk (videreført) (PMA)
- INF5170 – Masterseminar i logikk (nedlagt) (LogID)
- INF5800 – Emner i logikk (nedlagt) (LogID)
Våremner:
- INF4231 – Formell modellering og analyse av kommuniserende systemer (videreført) (PMA)
- INF4232 – Logikk for systemanalyse (videreført) (PMA)
- INF5170 – Masterseminar i logikk (nedlagt) (LogID)
- INF4580 – Semantic technologies (videreført) (LogID)
- INF5840 – Computability theory (videreført) (LogID)
- INF5906 – Selected topics in static analysis (videreført) (PMA)
Relevante emner for Informasjonssikkerhet
Høstemner:
- UNIK4220 – Innføring i kryptografi (videreført)
- UNIK4270 – Sikkerhet i operativsystemer og programvare (videreført)
- UNIK4740 – Informasjonssikkerhet i industrielle sensor og mobile systemer (videreført)
- INF5150 – Uangripelige IT-systemer (videreført) (PSE)
Våremner:
- INF4231 – Formell modellering og analyse av kommuniserende systemer (videreført) (PMA)
- INF4232 – Logikk for systemanalyse (videreført) (PMA)
- UNIK4250 – Sikkerhet i distribuerte systemer (videreført)
Oversikt over emner som tilbys ved Institutt for informatikk
Godkjenning av masteremner fra andre læresteder
Dersom du får opptak til masterprogrammet og allerede har avlagt masteremne(r) ved et annet lærested, kan du søke om å få dette innpasset i mastergraden din ved Universitetet i Oslo. Ta kontakt med Institutt for informatikk får mer informasjon.
Vitnemål og grad
Vitnemålet blir utstedt når du har avlagt emner som til sammen oppfyller kravene til en grad. Les mer om vitnemål.
Emne- og semestersider
Klikk deg inn på hvert emne (se i tabellen ovenfor) for å finne blant annet:
- Timeplan
- Tid og sted for eksamen
- Pensum og læringskrav
Studiekvalitet
Studieprogrammer og emner blir jevnlig evaluert for å sikre og utvikle studiekvaliteten.