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

 

---