Lektor Patrick Bahr
IT-Universitetet i København
Institut for Datalogi
Rued Langgaards Vej 7
2300 København S
Danmark
paba @ itu.dk
26901428
Indledende emner
Diskrete strukturer
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Computational Logic
Functional Programming
Program Transformation
Semantics
Software Verification
Type Theory