Beskikkede censorer startende 1. april 2018       Information
Lektor Rene Rydhof Hansen
Aalborg Universitet
Institut for Datalogi
Elmehaven 61
8520 Lystrup
Danmark
rrh @ cs.aau.dk
Indledende emner
Formelle sprog
Funktionsprogrammering
Indledende programmering
Logik
Maskinarkitektur
Operativsystemer
Oversættelse
Programmeringssprog
Semantik
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