|
Lektor Alceste Scalas |
| Danmarks Tekniske Universitet |
| DTU Compute |
| Richard Petersens Plads, bygning 324 |
| 2800 Kongens Lyngby |
| Danmark |
| alcsc @ dtu.dk |
| 50370752 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Computernetværk |
| Concurrent og parallel programmering |
| Databasesystemer |
| Diskrete strukturer |
| Distribuerede systemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Maskinarkitektur |
| Objektorienteret programmering |
| Operativsystemer |
| Oversættelse |
| Programmeringssprog |
| Softwarearkitektur |
| Systemudvikling |
| Videregående emner |
| Algorithm Design and Analysis |
| Algorithm Engineering |
| Compiler Construction |
| Computational Logic |
| Computing Education |
| Concurrency Theory |
| Data Modeling |
| Data Structures |
| Database Systems |
| Distributed Systems |
| Functional Programming |
| History of Computing |
| Logic Programming |
| Microservices |
| Multiagent Systems |
| Object-Oriented Design and Analysis |
| Object-Oriented Programming |
| Operating Systems |
| Parallel Processing |
| Program Analysis |
| Program Transformation |
| Programming Language Design |
| Semantics |
| Software Verification |
| Theory of Computation |
| Type Theory |
|