Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor, PhD Martin Elsman
Datalogisk Institut, Københavns Universitet
Universitetsparken 5
Bygning B, stuen
2100 København
Danmark
mael @ diku.dk
26122212
Indledende emner
Databasesystemer
Distribuerede systemer
Funktionsprogrammering
Indledende programmering
Operativsystemer
Oversættelse
Semantik
Videregående emner
Compiler Construction
Functional Programming
Program Analysis
Program Optimization
Program Transformation
Type Theory
Virtual Machines
Web Technology