Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Rene Rydhof Hansen
Datalogisk Institut, Aalborg Universitet
Selma Lagerlöfs vej 300
9220 Aalborg Øst
Danmark
rrh @ cs.aau.dk
99407514
Indledende emner
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Operativsystemer
Oversættelse
Programmeringssprog
Semantik
Videregående emner
Compiler Construction
Concurrency Theory
Embedded Systems
Functional Programming
Operating Systems
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Real-Time Systems
Security
Software Verification
Type Theory