Professor Lars Birkedal
Inst. for datalogi, Aarhus Univ
Aabogade 34
8200 Aarhus
Danmark
birkedal @ cs.au.dk
23838546
Indledende emner
Concurrent og parallel programmering
Formelle sprog
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Computational Logic
Concurrency Theory
Functional Programming
Privacy
Probability Theory
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Proof Theory
Security
Semantics
Software Verification
Type Theory