Lektor Andrzej Filinski
(Andrzej Olaf Filinski)
Københavns Universitet
Datalogisk Institut
Universitetsparken 5
2100 København Ø
Danmark
andrzej @ di.ku.dk
Indledende emner
Diskrete strukturer
Funktionsprogrammering
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Computational Logic
Concurrency Theory
Functional Programming
Logic Programming
Program Analysis
Program Transformation
Programming Language Design
Proof Theory
Software Verification
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU