Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
professor emeritus Mogens Nielsen
Aarhus Universitet
Rørsangervej 19
8382 Hinnerup
Danmark
mn @ cs.au.dk
+45 2338 2260
Indledende emner
Diskrete strukturer
Distribuerede systemer
Funktionsprogrammering
Logik
Logikprogrammering
Semantik
Videregående emner
Category Theory
Computability
Computational Logic
Concurrency Theory
Distributed Systems
Functional Programming
Logic Programming
Mobile Computing
Program Analysis
Software Verification
Type Theory