Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Ken Friis Larsen
Datalogisk Institut, Københavns Universitet (DIKU)
Universitetsparken 5
2100 København Ø
Danmark
kflarsen @ di.ku.dk
51946545
Indledende emner
Distribuerede systemer
Funktionsprogrammering
Indledende programmering
Kunstig intelligens
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Semantik
Softwarearkitektur
Systemudvikling
Web-teknologi
Videregående emner
Algorithm Design and Analysis
Compiler Construction
Concurrency Theory
Data Structures
Database Systems
Distributed Systems
Functional Programming
Logic Programming
Mobile Computing
Object Technology
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Security
Software Verification
Systems Development
Type Theory
Virtual Machines
Web Technology