Lektor Michael Reichhardt Hansen
Danmarks Tekniske Universitet
Institut for Matematik og Computer Science
Bygning 324
2800 Kgs. Lyngby
Denmark
mire @ dtu.dk
29441482
Indledende emner
Diskrete strukturer
Formelle sprog
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Data Modeling
Embedded Systems
Functional Programming
Programming Language Design
Real-Time Systems
Software Verification
Theory of Computation