Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Andrzej Filinski
DIKU, Københavns Universitet
Universitetsparken 5
2100 København Ø
Danmark
andrzej @ di.ku.dk
2961 1643
Indledende emner
Funktionsprogrammering
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Semantik
Videregående emner
Category Theory
Compiler Construction
Computational Logic
Concurrency Theory
Functional Programming
Logic Programming
Program Analysis
Program Transformation
Programming Language Design
Proof Theory
Software Verification
Type Theory