Adjunkt Willard Rafnsson (Willard Thor Rafnsson) IT Universitetet i København Computer Science Rued Langgaards Vej 7 2300 København S Danmark wilr @ itu.dk +4591810955

Indledende emner Concurrent og parallel programmering Diskrete strukturer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Maskinarkitektur Operativsystemer Oversættelse Programmeringssprog Sikkerhed Web-teknologi Videregående emner Compiler Construction Complexity Theory Computational Logic Concurrency Theory Constraint Logic Programming Cryptology Functional Programming Logic Programming Privacy Program Analysis Program Transformation Programming Language Design Proof Theory Security Semantics Software Testing Software Verification Theory of Computation Type Theory Web Technology

 

---