Beskikkede censorer startende 1. april 2018       Information
Lektor Jesper Bengtson
IT-Universitetet i København
Institut for Datalogi
Rued Langgaards Vej 7
2300 København
Danmark
jebe @ itu.dk
+46733547679
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Programmeringssprog
Semantik
Softwarearkitektur
Videregående emner
Algorithm Design and Analysis
Compiler Construction
Computational Logic
Concurrency Theory
Data Structures
Design Patterns
Distributed Systems
Functional Programming
Multiagent Systems
Object-Oriented Design and Analysis
Object-Oriented Programming
Programming Language Design
Proof Theory
Software Engineering
Software Verification
Type Theory