Viceinstitutleder, Lektor Ken Friis Larsen |
Københavns Universitet |
Datalogisk Institut |
Universitetsparken 5 |
2100 København Ø |
Danmark |
kflarsen @ di.ku.dk |
51946545 |
|
|
|
Indledende emner |
Algoritmer og datastrukturer |
Concurrent og parallel programmering |
Formelle sprog |
Funktionsprogrammering |
Logik |
Logikprogrammering |
Oversættelse |
Programmeringssprog |
Sikkerhed |
Systemudvikling |
Videregående emner |
Compiler Construction |
Computational Thinking |
Computing Education |
Concurrency Theory |
Constraint Logic Programming |
Distributed Systems |
Functional Programming |
Graph Algorithms |
Logic Programming |
Parallel Processing |
Privacy |
Security |
Semantics |
Software Testing |
Software Verification |
Systems Development |
Type Theory |
Virtual Machines |
|