Beskikkede censorer startende 1. april 2018       Information
Lektor Torben Ægidius Mogensen
Københavns Universitet
Datalogisk Institut
Universitetsparken 5
2100 København Ø
Danmark
torbenm @ di.ku.dk
21849672
Indledende emner
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Logikprogrammering
Maskinarkitektur
Oversættelse
Programmeringssprog
Semantik
Videregående emner
Compiler Construction
Functional Programming
Logic Programming
Partial Evaluation
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Reversible and Quantum Computing