Lektor Anders Schlichtkrull Aalborg Universitet Institut for Datalogi A.C. Meyers Vænge 15 2450 København SV Danmark andsch @ cs.aau.dk

Indledende emner Algoritmer og datastrukturer Diskrete strukturer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Objektorienteret programmering Oversættelse Programmeringssprog Sikkerhed Videregående emner Algorithm Design and Analysis Compiler Construction Complexity Theory Computational Logic Computing Education Constraint Logic Programming Data Structures Evolutionary Algorithms Functional Programming Graph Algorithms Logic Programming Metaheuristics Object-Oriented Programming Privacy Program Analysis Program Optimization Program Transformation Programming Language Design Proof Theory Randomized Algorithms Security Semantics Software Verification Theory of Computation Type Theory

 

---