Professor Lars Birkedal
Aarhus Universitet
Institut for Datalogi
Aabogade 34
8200 Aarhus
Denmark
birkedal @ cs.au.dk
23838546
Indledende emner
Concurrent og parallel programmering
Formelle sprog
Funktionsprogrammering
Logik
Objektorienteret programmering
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Computational Logic
Concurrency Theory
Functional Programming
Object-Oriented Programming
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Proof Theory
Security
Semantics
Software Verification
Type Theory