Professor (MSO) Bent Thomsen
Aalborg University
Department of Computer Science
Selmalagerloefsvej 300
9220 Aalborg
Danmark
bt @ cs.aau.dk
99408897
Indledende emner
Concurrent og parallel programmering
Funktionsprogrammering
Objektorienteret programmering
Oversættelse
Programmeringssprog
Videregående emner
Compiler Construction
Computational Thinking
Computing Education
Concurrency Theory
Embedded Systems
Functional Programming
Object-Oriented Programming
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Real-Time Systems
Semantics
Type Theory
Virtual Machines