Lektor Carsten Schürmann
IT-Universitetet i København
Institut for Datalogi
Rued Langgaards Vej 7
2300 København
Danmark
carsten @ itu.dk
26393606
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Programmeringssprog
Sikkerhed
Videregående emner
Concurrency Theory
Constraint Logic Programming
Database Systems
Functional Programming
Proof Theory
Security
Software Verification
Type Theory
Usability

 


Data protection at SDUDatabeskyttelse på SDU