|
Lektor Michael Kirkedal Thomsen |
| Københavns Universitet |
| Datalogisk Institut |
| Universitetsparken 5 |
| 2100 København Ø |
| Danmark |
| m.kirkedal @ di.ku.dk |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Computernetværk |
| Concurrent og parallel programmering |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Maskinarkitektur |
| Objektorienteret programmering |
| Operativsystemer |
| Oversættelse |
| Programmeringssprog |
| Sikkerhed |
| Videregående emner |
| Compiler Construction |
| Complexity Theory |
| Computational Logic |
| Concurrency Theory |
| Functional Programming |
| Linear Programming |
| Logic Programming |
| Program Analysis |
| Program Optimization |
| Program Transformation |
| Programming Language Design |
|
![[topimage]](TopBanner900.png)