Lektor René Rydhof Hansen
Aalborg Universitet
Institut for Datalogi
Selma Lagerløfs Vej 300
9220 Aalborg Ø
Danmark
rrh @ cs.aau.dk
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Sikkerhed
Videregående emner
Compiler Construction
Computational Logic
Embedded Systems
Functional Programming
Privacy
Program Analysis
Program Optimization
Program Transformation
Programming Language Design
Proof Theory
Security
Semantics
Software Verification
Type Theory