Beskikkede censorer startende 1. april 2018       Information
Lektor Marco Carbone
IT-Universitetet i København
Datalogisk Institut
Rued Langgaards Vej 7
2300 København S
Danmark
maca @ itu.dk
72185067
Indledende emner
Agentsystemer
Algoritmer og datastrukturer
Concurrent og parallel programmering
Diskrete strukturer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Semantik
Sikkerhed
Videregående emner
Computability
Computational Logic
Concurrency Theory
Distributed Systems
Functional Programming
Interaction Modeling
Logic Programming
Multiagent Systems
Program Analysis
Program Transformation
Programming Language Design
Security
Software Verification
Type Theory