Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
lektor Anders Møller
Datalogisk Institut, Aarhus Universitet
IT-parken
Aabogade 34
8200 Århus N
Danmark
amoeller @ cs.au.dk
89425777
Indledende emner
Funktionsprogrammering
Indledende programmering
Logik
Oversættelse
Semantik
Videregående emner
Compiler Construction
Functional Programming
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Software Engineering
Software Verification
Type Theory
Virtual Machines
Web Technology