|
Lektor Morten Rhiger |
| Roskilde Universitet |
| Institut for Mennesker og Teknologi |
| Universitetsvej 1 |
| 4000 Roskilde |
| Danmark |
| mir @ ruc.dk |
| 46743177 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Softwarearkitektur |
| Systemudvikling |
| Web-teknologi |
| Videregående emner |
| Compiler Construction |
| Data Structures |
| Functional Programming |
| Logic Programming |
| Object-Oriented Programming |
| Program Analysis |
| Program Optimization |
| Program Transformation |
| Programming Environments |
| Programming Language Design |
| Proof Theory |
| Reversible and Quantum Computing |
| Scientific Computing |
| Semantics |
| Type Theory |
| Virtual Machines |
| Web Technology |
|
![[topimage]](TopBanner900.png)