|
Professor Marco Carbone |
| IT Universitetet i København |
| 2300 København S |
| Danmark |
| maca @ itu.dk |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Diskrete strukturer |
| Distribuerede systemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Sikkerhed |
| Videregående emner |
| Compiler Construction |
| Concurrency Theory |
| Distributed Systems |
| Functional Programming |
| Logic Programming |
| Modeling and Simulation |
| Program Analysis |
| Programming Language Design |
| Proof Theory |
| Semantics |
| Software Verification |
| Type Theory |
|
![[topimage]](TopBanner900.png)