Professor Thomas Bolander DTU DTU Compute Richard Petersens Plads, bygning 324 2800 Kgs Lyngby Danmark tobo @ dtu.dk 45253715

Indledende emner Algoritmer og datastrukturer Databasesystemer Diskrete strukturer Formelle sprog Funktionsprogrammering Kunstig intelligens Logik Logikprogrammering Menneske-maskin interaktion Objektorienteret programmering Oversættelse Programmeringssprog Videregående emner Artificial Intelligence Autonomous Agents Combinatorial Optimization Compiler Construction Complexity Theory Computational Geometry Computational Logic Computer Game Construction Computer Vision Computing Education Constraint Logic Programming Data Structures Evolutionary Algorithms Fairness and Explainability Graph Algorithms Human-Computer Interaction Image Processing Knowledge Represenation Linear Programming Logic Programming Machine Learning Metaheuristics Modeling and Simulation Multiagent Systems Natural Language Processing Operations Research Pattern Recognition Philosophy of Computing Program Analysis Proof Theory Robotics Search Heuristics Semantics Theory of Computation

 

---