Beskikkede censorer startende 1. april 2018       Information
Lektor Ken Friis Larsen
Københavns Universitet
Datalogisk Institut
Universitetsparken 5
2100 København Ø
Danmark
kflarsen @ diku.dk
51946545
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Databasesystemer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Semantik
Sikkerhed
Web-teknologi
Videregående emner
Computational Logic
Computer Game Construction
Concurrency Theory
Constraint Logic Programming
Data Structures
Database Systems
Distributed Systems
Edutainment
Functional Programming
Graph Algorithms
Internet of Things
Parallel Processing
Partial Evaluation
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Proof Theory
Scientific Computing
Security
Software Engineering
Software Testing
Software Verification
Type Theory
Ubiquitous and Pervasive Computing
Virtual Machines
Web Technology