Professor Rasmus Ejlers Møgelberg
IT-Universitetet i København
Rued Langgaards Vej 7
2300 København Ø
Danmark
mogel @ itu.dk
60867994
Indledende emner
Diskrete strukturer
Formelle sprog
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Functional Programming
Probability Theory
Programming Language Design
Proof Theory
Semantics
Software Verification
Type Theory