Beskikkede censorer startende 1. april 2018       Information
Lektor Alberto Lluch Lafuente
Danmarks Tekniske Universitet
DTU Compute
Richard Petersens Plads, bygning 324
2800 Kgs. Lyngby
Danmark
albl @ dtu.dk
31241447
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Diskrete strukturer
Distribuerede systemer
Formelle sprog
Logik
Programmeringssprog
Semantik
Videregående emner
Adaptive Systems
Autonomous agents
Concurrency Theory
Distributed Systems
Modeling and Simulation
Programming Language Design
Search Heuristics
Software Engineering
Software Verification