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