Lektor Rene Rydhof Hansen
Aalborg Universitet
Institut for Datalogi
Elmehaven 61
8520 Lystrup
Danmark
rrh @ cs.aau.dk
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Maskinarkitektur
Objektorienteret programmering
Operativsystemer
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Concurrency Theory
Embedded Systems
Functional Programming
Internet of Things
Operating Systems
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Real-Time Systems
Security
Software Verification
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU