Lektor Torben Ægidius Mogensen
Københavns Universitet
DIKU
Universitetsparken 5
2100 København Ø
Danmark
torbenm @ di.ku.dk
21849672
Indledende emner
Formelle sprog
Funktionsprogrammering
Logikprogrammering
Maskinarkitektur
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Functional Programming
Logic Programming
Program Optimization
Program Transformation
Programming Language Design
Reversible and Quantum Computing