|
Lektor Alberto Lluch Lafuente |
| DTU |
| DTU Compute |
| Richard Pedersens Plads, B324, R012 |
| 2800 Kongens Lyngby |
| Danmark |
| albl @ dtu.dk |
| 31241447 |
|
|
|
|
| Indledende emner |
| Concurrent og parallel programmering |
| Distribuerede systemer |
| Formelle sprog |
| Kunstig intelligens |
| Logik |
| Logikprogrammering |
| Programmeringssprog |
| Sikkerhed |
| Videregående emner |
| Adaptive Systems |
| Artificial Intelligence |
| Autonomous Agents |
| Concurrency Theory |
| Microservices |
| Privacy |
| Programming Language Design |
| Search Heuristics |
| Security |
| Semantics |
| Software Verification |
| Theory of Computation |
|
![[topimage]](TopBanner900.png)