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 |
|