Lektor Marco Carbone IT Universitetet i København Datalogi Dæmringsvej 15 2900 Hellerup Danmark maca @ itu.dk

Indledende emner Algoritmer og datastrukturer Computernetværk Concurrent og parallel programmering Diskrete strukturer Distribuerede systemer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Objektorienteret programmering Operativsystemer Oversættelse Programmeringssprog Sikkerhed Videregående emner Compiler Construction Computational Logic Concurrency Theory Constraint Logic Programming Distributed Systems Embedded Systems Functional Programming Internet of Things Logic Programming Microservices Mobile Communication Modeling and Simulation Object-Oriented Programming Program Analysis Program Transformation Programming Language Design Proof Theory Security Semantics Software Verification Theory of Computation Type Theory

 

---