|
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 |
|
![[topimage]](TopBanner900.png)