Computer Scientist, PostDoc

Maja H Kirkeby

Research Interest

My research interest is centered around program analysis and program transformation, e.g., program inversion, proving confluence modulo equivalence, resource analyses, probabilistic program analyses. I have a special interest in rewriting systems and rewriting-based systems such as Constraint Handling Rules.


DBLP, Google scholar, ORCID


phone: +45 3089 0930 email: kirkebym @


I'm born in '82 in Denmark, and I have a Norwegian father and a Danish mother. My husband and I live together with our daughters in Rødovre (0 and 5 years).

I've previously been a scouts leader for boys and girls, age 10-12, weekly and weekends 2010-2019 and previous to that (2007-2011) I organized leader courses for the KFUM scouts organization, Denmark. I've been motorbiking (street and racing) since 2010.