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

Indledende emner Algoritmer og datastrukturer Concurrent og parallel programmering Datavidenskab Diskrete strukturer Distribuerede systemer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Maskinarkitektur Operativsystemer Oversættelse Programmeringssprog Sikkerhed Web-teknologi Videregående emner Compiler Construction Complexity Theory Computational Logic Concurrency Theory Cryptology Distributed Systems Functional Programming Logic Programming Machine Architecture Operating Systems Parallel Processing Privacy Program Analysis Program Optimization Program Transformation Proof Theory Real-Time Systems Security Semantics Software Testing Software Verification Theory of Computation Type Theory Web Technology

 

---