Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Professor Lars Birkedal
Aarhus Universitet
Aabogade 34
8200 Aarhus
Danmark
birkedal @ cs.au.dk
23838546
Indledende emner
Databasesystemer
Funktionsprogrammering
Indledende programmering
Logik
Logikprogrammering
Semantik
Videregående emner
Category Theory
Compiler Construction
Computability
Computational Logic
Concurrency Theory
Functional Programming
Program Analysis
Program Optimization
Program Transformation
Software Verification
Type Theory