Summary

I am a PhD student at the Department of Computer Science at the University of Copenhagen. As a PhD student, I am involved in teaching as well as research as part of the 3gERP project.

Research Interests

• Functional programming
• Type theory
• Rewriting systems, in particular infinitary rewriting
• Formal methods