|
Associate Professor Jesper Bengtson |
| IT University of Copenhagen |
| Section of Theoretical Computer Science |
| Rued Langgaards Vej 7 |
| 2300 Copenhagen |
| Danmark |
| bengtson @ itu.dk |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Datavidenskab |
| Distribuerede systemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Programmeringssprog |
| Videregående emner |
| Algorithm Design and Analysis |
| Compiler Construction |
| Concurrency Theory |
| Data Structures |
| Design Patterns |
| Distributed Systems |
| Functional Programming |
| Graph Algorithms |
| Logic Programming |
| Modeling and Simulation |
| Object-Oriented Design and Analysis |
| Object-Oriented Programming |
| Programming Language Design |
| Proof Theory |
| Semantics |
| Software Engineering |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)