Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Professor Michael Schwartzbach
Institut for Datalogi, Aarhus Universitet
Åbogade 34
8200 Århus N
Danmark
mis @ cs.au.dk
8942 5774
Indledende emner
Databasesystemer
Funktionsprogrammering
Indledende programmering
Logik
Logikprogrammering
Maskinarkitektur
Oversættelse
Semantik
Videregående emner
Compiler Construction
Computability
Functional Programming
Logic Programming
Object Technology
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Software Engineering
Software Verification
Type Theory
Virtual Machines
Web Technology