|
Lektor Aslan Askarov |
| Institut for Datalogi |
| Programming Languages, Logic, and Software Security |
| Aabogade 34 |
| 8200 Aarhus N |
| Danmark |
| aslan @ cs.au.dk |
| 23823124 |
|
|
|
|
| Indledende emner |
| Computernetværk |
| Concurrent og parallel programmering |
| Distribuerede systemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Maskinarkitektur |
| Objektorienteret programmering |
| Operativsystemer |
| Oversættelse |
| Programmeringssprog |
| Sikkerhed |
| Softwarearkitektur |
| Web-teknologi |
| Videregående emner |
| Blockchain |
| Compiler Construction |
| Distributed Systems |
| Functional Programming |
| Microservices |
| Object-Oriented Design and Analysis |
| Object-Oriented Programming |
| Operating Systems |
| Privacy |
| Program Analysis |
| Program Optimization |
| Program Transformation |
| Programming Environments |
| Programming Language Design |
| Security |
| Semantics |
| Software Engineering |
| Software Testing |
| Software Verification |
| Type Theory |
| Virtual Machines |
| Web Technology |
|