Lektor René Rydhof Hansen
Aalborg Universitet
Institut for Datalogi
Selma Lagerlöfs Vej 300
9920 Aalborg
Danmark
rrh @ cs.aau.dk
28451863
Indledende emner
Diskrete strukturer
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Maskinarkitektur
Objektorienteret programmering
Operativsystemer
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Embedded Systems
Functional Programming
Internet of Things
Operating Systems
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Proof Theory
Real-Time Systems
Software Verification
Theory of Computation
Type Theory