Beskikkede censorer startende 1. april 2018       Information
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