Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Marco Carbone
IT Universitet i København
Rued Langgaards Vej 7
2300 København
Danmark
maca @ itu.dk
61660168
Indledende emner
Distribuerede systemer
Funktionsprogrammering
Indledende programmering
Logik
Semantik
Videregående emner
Algorithm Design and Analysis
Computability
Computational Logic
Concurrency Theory
Data Structures
Distributed Systems
Functional Programming
Program Analysis
Program Transformation
Security
Software Verification
Type Theory