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
Algoritmer og datastrukturer
Concurrent og parallel programmering
Diskrete strukturer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Objektorienteret programmering
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Computational Logic
Concurrency Theory
Distributed Systems
Functional Programming
Interaction Modeling
Logic Programming
Multiagent Systems
Program Analysis
Program Transformation
Programming Language Design
Security
Software Verification
Theory of Computation
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU