Maja Hanne Kirkeby

Assistant professor, Department of People and Technology
Assistant professor, Programming, Logic and Intelligent Systems

https://orcid.org/0000-0003-0033-2438

Phone+45 46 74 25 15
Emailmajaht@ruc.dk

Universitetsvej 1, 10.1
DK-4000 Roskilde
Denmark

Research activity per year

If you made any changes in Pure these will be visible here soon.

2 Finished

2 results

Finished

Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research