|
Adjunkt Christian Gram Kalhauge |
| DTU |
| Compute |
| Richard Petersens Plads, Building 324 |
| 2800 Kgs. Lyngby |
| Danmark |
| chrg @ dtu.dk |
| 51211888 |
|
|
|
|
| Indledende emner |
| Databasesystemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Sikkerhed |
| Videregående emner |
| Compiler Construction |
| Program Analysis |
| Program Transformation |
| Programming Language Design |
| Software Testing |
| Type Theory |
|
![[topimage]](TopBanner900.png)