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.

Profiles

DBLP, Google scholar, ORCID

Contact

phone: +45 3089 0930 email: kirkebym @ acm.org

Private

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.