Referat møte Programråd PROSA, 18/4-2024, kl 12:15-13:40.

Tilstede: Peter Ølveczky (leder), Nils Gruschka, Martin Giese, Yngve Lindstjørn
 Fra administrasjonen: Kristin Bråthen

3 forfall meldt (Moe Jensen, Masiero, Tveito)

Møtet hadde én oppgave: bli enige om kjerneemner for
masterprogrammet PROSA.   Dette har blitt etterlyst lenge.

Programrådet diskuterte hvert emne for seg, og stemte over hvert emne
for seg.  Programrådsleder hadde i forkant av møtet sendt en rekke
email til medlemmene av programrådet, og til en rekke andre ansatte på
Ifi, for å også deres syn på hvilke emner som bør være kjerneemner på
PROSA.


Resultatet er at vi vedtok at følgende emner skal være kjerneemner på
masterprogrammet i programmering og systemarkitektur:


IN4000 - Operativsystemer

IN4020 – Databasesystemer

IN4060 – Semantiske teknologier

IN4070 – Logikk

IN4120 – Søketeknologi

IN4210 – Network and Communications Security

IN4230 – Nettverk

IN4240 – Testing av programvare

IN5020 – Distribuerte systemer

IN5030 – Protokoller og ruting i Internett

IN5040 – Advanced Database Systems for Big Data

IN5050 – Programming heterogeneous multi-core architectures

IN5060 – Kvantitativ ytelsesanalyse

IN5070 – The future internet protocols

IN5100 – Utvalgte emner i omskrivningslogikk

IN5110 – Specification and Verification of Parallel Systems

IN5140 – Smarte prosesser og smidige metoder i systemutvikling

IN5150 – Recent Advancements in Internet Protocols

IN5170 – Modeller for parallellitet

IN5410 – Energiinformatikk

IN5570 – Distribuerte objekter

IN5600 – Programmering av mobile applikasjoner i tingenes internett

IN5630 – Programming Language Implementation and Formalisation

IN5700 – Tåke og Sky Databehandling

IN5800 – Declarative Data Engineering

INF5110 – Kompilatorteknikk