Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Hans Hüttel
Aalborg Universitet
Selma Lagerlöfs Vej 300
9220 Aalborg Øst
Danmark
hans @ cs.aau.dk
99 40 88 88
Indledende emner
Funktionsprogrammering
Indledende programmering
Logik
Semantik
Videregående emner
Computability
Computational Logic
Concurrency Theory
Functional Programming
Program Analysis
Security
Software Verification
Type Theory