Lektor Michael Reichhardt Hansen
Danmarks Tekniske Universitet
DTU Compute
Bygning 322
2800 Kgs. Lyngby
Danmark
mire @ dtu.dk
45253727
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Objektorienteret programmering
Oversættelse
Programmeringssprog
Softwarearkitektur
Systemudvikling
Videregående emner
Compiler Construction
Embedded Systems
Functional Programming
Real-Time Systems
Software Engineering
Software Verification
Systems Development
Theory of Computation

 


Data protection at SDUDatabeskyttelse på SDU