Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Peter Schneider-Kamp
Syddansk Universitet
Campusvej 55
5230 Odense M
Danmark
petersk @ imada.sdu.dk
26509755
Indledende emner
Databasesystemer
Distribuerede systemer
Funktionsprogrammering
Indledende programmering
Kryptologi
Logik
Logikprogrammering
Oversættelse
Semantik
Videregående emner
Compiler Construction
Computational Logic
Concurrency Theory
Functional Programming
Image Processing
Logic Programming
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Software Verification
Sound Processing