Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Michael Reichhardt Hansen
Institut for Matematik og Computer Science, Danmarks Tekniske Universitet
Bygning 322
2800 Lyngby
Danmark
mire @ dtu.dk
45 25 37 27
Indledende emner
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Oversættelse
Semantik
Videregående emner
Computability
Functional Programming
Real-Time Systems
Software Engineering
Software Verification