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 亚博娱乐官网_亚博pt手机客户端登录ende 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.