Lektor Patrick Bahr
IT-Universitetet i København
Institut for Datalogi
Rued Langgaards Vej 7
2300 København S
Danmark
patrick.bahr @ gmail.com
26901428
Indledende emner
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Computational Logic
Program Transformation
Software Verification
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU