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

 


Data protection at SDUDatabeskyttelse på SDU