November 4th, 2005 BSc, Bachelor of Computer Science, University of Copenhagen
December 4th, 2009 MSc, Master of Computer Science, University of Copenhagen including
2006/7 Winter semester, Erasmus Exchange Student at Faculty of Computer Science, Technische Universität Dresden, Germany
Thesis Title: Semi Inversion of Conditional Constructor Term Rewriting Systems. Supervisor: Robert Glück.
June 26th, 2018, PhD, Computer Science, Department of people and technology, Roskilde University (including maternity leave: May 2014 - December 2015)
Dissertation Title: Probabilistic Program Analysis.
Supervisor: Mads Rosendahl,
Evaluation committee: Pedro Lopez-Garcia (IMDEA software institute, Madrid, Spain), Hanne Riis Nielson (DTU COMPUTE, Department of Applied Mathematics and Computer Science, Technical University of Denmark), and John P. Gallagher (Computer Science, Department of people and technology, Roskilde University, Denmark).
2018 Masters supervision course (planned 30-11-2018)
2014 Writers Development course, University of Copenhagen
2013 Portfolio, Roskilde University – grade: passed
2011 APMG-International PRINCE2® Foundation Examination (Candidate: 02606241-01-6EGK)
Dec 2009 – May 2010 Research Assistant (part-time) at Department of Computer Science, University of Copenhagen related to the research group Theory and Practice of Programming Languages (TOPPS).
Jan 2010 – May 2010 (3 months course) Teaching Assistant (part-time) at Department of Computer Science, University of Copenhagen related to the course "Database and Web Programming"
May 2010 – Nov 2012 ERP Consultant (2010-2011), ERP/BI international solution engineer (2011-2012) at Rosti IT a/s, Ballerup, Denmark (project management, solution architect)
Dec 2012 – Jun 2018 PhD fellow at Computer Science, Department of People and Technology, Roskilde University
May 17th, 2014 – December 14th, 2014 Maternity leave
July 2016 – December 2018 (parallel to finalizing my PhD) Postdoctoral position at Computer Science, Roskilde University within the project "Automatic support for Proving Confluence Modulo Equivalence for Constraint Handling Rules" funded by FNU (Danish Council for Independent Research | Natural Sciences)
Jan 2018 – current Censor (External Examiner) at Censorkorpset i Datalogi, Danmark