adjunkt Maja Hanne Kirkeby
Roskilde Universitet
Datalogi/IMT
Universitetsvej 1, 10.1
4000 Roskilde
Denmark
kirkebym @ acm.org
+4530890930
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Databasesystemer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Maskinarkitektur
Objektorienteret programmering
Oversættelse
Programmeringssprog
Systemudvikling
Videregående emner
Computational Logic
Program Analysis
Program Transformation
Programming Language Design
Proof Theory
Reversible and Quantum Computing

 


Data protection at SDUDatabeskyttelse på SDU