Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Professor Kim Guldstrand Larsen
Aalborg Universitet
Selma Lagerlöfsvej 2300
9220 Aalborg
Danmark
kgl @ cs.aau.dk
Indledende emner
Distribuerede systemer
Funktionsprogrammering
Logik
Logikprogrammering
Operativsystemer
Oversættelse
Semantik
Videregående emner
Algorithm Design and Analysis
Category Theory
Combinatorial Optimization
Complexity Theory
Computability
Concurrency Theory
Functional Programming
Logic Programming
Modeling and Simulation
Program Analysis
Robotics
Software Verification
Type Theory