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