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